ATP Examples
Examples for the ATP Process
A Theorem with Nice Axioms
A Theorem with Nasty Axioms
A Non-Theorem with Nice Axioms
A Challenge Theorem
Examples for the Education Process
Propositional Logic
First-order Logic
Typed First-order Logic
Typed Higher-order Logic