IntHistGC

swMATH24227MaRDI QIDQ35988FDOQ35988

Author name not available (Why is that?)

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