Quint

@quint-lang.org

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

9
Followers 1
Following 1
Posts 06.03.2026
Joined

Posts Following

Latest posts by Quint @quint-lang.org

Late-breaking news: one more, international keynote speaker at BugBash! By special request, @bugarela.bsky.social of Informal Systems will be coming to talk about executable specs.

Get your tickets below!

06.03.2026 18:46 👍 2 🔁 1 💬 1 📌 2

Quint now has its own bsky account!

We'll be posting tips and tricks, use cases, release updates, and more.

Join us in writing better >executable< specs in the LLM era.

06.03.2026 18:53 👍 6 🔁 0 💬 0 📌 1