Search results
2 packages found
Core tool for the Quint specification language
published 0.20.0 a day ago
M
Q
P
An interpreter of well-formed formulas in propositional calculus.
published 0.0.1 10 years ago
M
Q
P
Core tool for the Quint specification language
An interpreter of well-formed formulas in propositional calculus.