Menü
SkillsMP hat 2 Skills aus quint-co/quint gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
Es werden 2 von 2 gesammelten Skills angezeigt.
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…
Quellsprache: Englisch
Build a Quint model of a system, protocol, or algorithm. Use whenever the user wants to model, spec out, formally describe, model-check, or verify a system in Quint — e.g. "model this protocol in Quint", "spec out this design", "translate this TLA+",…
Quellsprache: Englisch