The TPS theorem proving system

DOI10.1007/3-540-52885-7_120zbMath1509.68294MaRDI QIDQ6488566

Sunil Issar, Peter B. Andrews, Frank Pfenning, Dan Nesmith

Publication date: 28 April 2023

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

A realizability interpretation of Church's simple theory of types ⋮ Presenting intuitive deductions via symmetric simplification

Cites Work

• On connections and higher-order logic
• A compact representation of proofs
• A unification algorithm for typed \(\bar\lambda\)-calculus
• Theorem Proving via General Matings
• Resolution in type theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The TPS theorem proving system