IntHistGC

MaRDI QIDQ35988swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_19

Source code repository https://github.com/jessezwu/IntHistGC

Described by source

• A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description

Cited in

(9)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• Intuitionistic Decision Procedures Since Gentzen
• ILTP
• fCube
• Imogen
• TABLEAUX
• JTabWb
• intuit
• SAT-based proof search in intermediate propositional logics

This page was built for software: IntHistGC