quint-co quint · Discussions · GitHub

Welcome to Quint Discussions!
Announcements konnov

Discussions

You must be logged in to vote

Add Zed extension

pierre-H started Mar 24, 2026 in Ideas

1
You must be logged in to vote

Quint simulator docs

younes-io asked May 3, 2026 in Q&A · Unanswered

0
You must be logged in to vote

posts/zerocash

giscus Bot announced Apr 3, 2026 in Blog

0
You must be logged in to vote

posts/cognitive_debt

giscus Bot announced Mar 24, 2026 in Blog

1
You must be logged in to vote

How does Quint compare to TLA+ in terms of performance?

ekexium asked Nov 29, 2025 in Q&A · Answered

4
You must be logged in to vote

Static UML Integration

mostafatouny started Mar 7, 2026 in Ideas

0
You must be logged in to vote

posts/quint_connect_emerald

giscus Bot announced Feb 16, 2026 in Blog

0
You must be logged in to vote

posts/quint_connect

giscus Bot announced Dec 23, 2025 in Blog

2
You must be logged in to vote

posts/llm_era

giscus Bot announced Nov 17, 2025 in Blog

0
You must be logged in to vote

A few issues from a newbie

zmitchell started Oct 26, 2025 in General

2
You must be logged in to vote

Unwrapping values known to exist

flupe asked Oct 2, 2025 in Q&A · Unanswered

0
You must be logged in to vote

posts/soup

giscus Bot announced Aug 11, 2025 in Blog

0
You must be logged in to vote

posts/inductive_invariants

giscus Bot announced Aug 4, 2025 in Blog

0
You must be logged in to vote

posts/alpenglow

giscus Bot announced Jul 21, 2025 in Blog

0
You must be logged in to vote

Feedback on the "Basic anatomy" tutorial

konnov started Feb 1, 2023 in Polls

3
You must be logged in to vote

State generated

davebryson asked Mar 20, 2025 in Q&A · Answered

2
You must be logged in to vote

how to specify concurrency in Quint?

younes-io started Feb 15, 2025 in Development and documentation

3
You must be logged in to vote

Add llms.txt

pierre-H started Feb 7, 2025 in General

1
You must be logged in to vote

Error when "verify" this spec in Quint

prestonph asked Dec 9, 2024 in Q&A · Unanswered

3
You must be logged in to vote

Tree Sitter Grammar and Helix Editor Support

gruhn started Nov 22, 2024 in Show and tell

4
You must be logged in to vote

2-layered Cache specification in Quint

prestonph started Nov 9, 2024 in Show and tell

11
You must be logged in to vote

Way to Nondeterministically Sample _Unique_ Values?

zicklag asked Oct 28, 2024 in Q&A · Answered

2
You must be logged in to vote

Is There a Way to Panic or Cause Undefined Behavior and Skip the Type Checking?

zicklag asked Oct 28, 2024 in Q&A · Answered

1
You must be logged in to vote

How to model a composite trace?

prestonph asked Oct 18, 2024 in Q&A · Answered

2
You must be logged in to vote

Will JDK always be required?

erlend-sh started Jul 31, 2024 in User feedback

5