project / active
Sequent
A programming language for writing Fitch-style first-order logic proofs.
Sequent supports proof composition and custom rule definitions for Fitch-style first-order logic proofs.
Stack
- Haskell
project / active
A programming language for writing Fitch-style first-order logic proofs.
Sequent supports proof composition and custom rule definitions for Fitch-style first-order logic proofs.