JTabWb

swMATH21865MaRDI QIDQ33665FDOQ33665

Official website https://github.com/ferram/jtabwb

Source code repository https://github.com/ferram/jtabwb

Described by source

• JTabWb: a Java framework for implementing terminating sequent and tableau calculi

Cited in

(7)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• CoLoSS
• fCube
• Imogen
• Cool
• IntHistGC
• intuit

This page was built for software: JTabWb