Quint
@quint_lang
Executable specs for reliable systems.
Understand what you're building, drive AI with precision, and verify its output.
By @informalinc
21 Following 428 Followers
We worked with @category_xyz and @monad on an independent review of MonadBFT, running the Quint simulator for days across two variants of the spec.
