I've tested Quint Studio recently to write some proof-of-concept smart contracts, and I did indeed find it useful. It's useful to build a spec as you iterate on design. Errors surfaced by the spec lead into new design ideas, and new design ideas feed back into the spec. Quint
Say hello to Quint Studio!
Software is full of decisions about how things should work: what happens first, what gets retried, who can do what, and what should never happen.
Quint Studio lets you capture those decisions as executable specs, then checks your code against them as
00:00
