Quint

@quint-lang.org

69 Followers · 1 Following

Executable specs for reliable systems. Understand what you're building, drive AI with precision, and verify its output. https://quint.sh/