JTabWb

swMATH21865MaRDI QIDQ33665FDOQ33665

Author name not available (Why is that?)

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