@informalsystems/quint

Core tool for the Quint specification language

v0.22.3 URL: https://unpkg.com/@informalsystems/quint@0.22.3/dist/src/index.js

Open Browse Files

temporal logic formal specification verification

llang

An interpreter of well-formed formulas in propositional calculus.

v0.0.1 URL: https://unpkg.com/llang@0.0.1/index.js

Open Browse Files

propositional calculus interpreter formal logic language