IntHistGC

swMATH24227MaRDI QIDQ35988

No author found.

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

Related Items (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