Software Development
Quint Lang
Quint language and CLI reference — the expert on Quint syntax, operators, types, `basicSpells`, the toolchain (typecheck/run/test/verify), and how to read simulation and counterexample output. Use when writing or debugging Quint (`.qnt`) files, fixing a typecheck/parse error, looking up an operator or idiom, analyzing an invariant violation or counterexample trace, or optimizing state-space exploration. For building a new model end-to-end from some source (including translating TLA+, or modeling code/requirements/an idea), use quint-modeling instead — it consults this reference for syntax as needed.
- Publisher / source
- quint-co/quint (found on GitHub top repositories)
- Upstream record
- quint-co/quint
- Version
- Version 1
- Published
- Publication review
- Approved for publication
- Content fingerprint
2b4436d7db1a4d33e1fa0b92a403862ed273409f0399b7e225298dd310668613