Search results

@informalsystems/quint

Core tool for the Quint specification language

• temporal
• logic
• formal
• specification
• verification

bugarela

published 0.20.0 • 20 hours agopublished 0.20.0 20 hours ago

llang

An interpreter of well-formed formulas in propositional calculus.

• propositional
• calculus
• interpreter
• formal
• logic
• language

nevyk

published 0.0.1 • 10 years agopublished 0.0.1 10 years ago