informalsystems quint Discussions
Pinned Discussions
Discussions
-
You must be logged in to vote -
You must be logged in to vote Imports and exports
language designLanguage specification -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote Unambiguous lexical indicators for state variables
language designLanguage specification -
You must be logged in to vote Nondeterministic/oracular constraints (e.g.,
language designguess/oneOf)Language specification -
You must be logged in to vote Alternative syntax for actions
language designLanguage specification -
You must be logged in to vote Introducing initializers
language designLanguage specification -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote -
You must be logged in to vote
