The following pages link to ProofTool (Q33996):
Displaying 6 items.
- Extraction of expansion trees (Q670704) (← links)
- Herbrand constructivization for automated intuitionistic theorem proving (Q2180528) (← links)
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination (Q2350976) (← links)
- System Description: GAPT 2.0 (Q2817928) (← links)
- Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942) (← links)
- Reducing redundancy in cut-elimination by resolution (Q2987066) (← links)