JTabWb

swMATH21865MaRDI QIDQ33665FDOQ33665

Author name not available (Why is that?)

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

Described by source

• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

Cited In (1)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic

This page was built for software: JTabWb