The following pages link to (Q3338233):
Displaying 5 items.
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- Extraction of expansion trees (Q670704) (← links)
- On connections and higher-order logic (Q908896) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Translation of resolution proofs into short first-order proofs without choice axioms (Q2486578) (← links)