IntHistGC

swMATH24227MaRDI QIDQ35988FDOQ35988

Author name not available (Why is that?)

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 (3)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• Intuitionistic Decision Procedures Since Gentzen
• SAT-based proof search in intermediate propositional logics

This page was built for software: IntHistGC