ProofTool
From MaRDI portal
Cited in
(13)- RegStab
- CERES
- Herbrand constructivization for automated intuitionistic theorem proving
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
- System description: GAPT 2.0
- Understanding Resolution Proofs through Herbrand’s Theorem
- Reducing redundancy in cut-elimination by resolution
- IDV
- GAPT
- WhaleProver
- Slakje
- Expositor
- Extraction of expansion trees
This page was built for software: ProofTool
