Special Symbols and ASCII equivalents: ¬ (~) ∨ (|) ∧ (&) → (->) ↔ (<->) ∀ (!) ∃ (?) λ (\) ≠ (!=) Grammar
Simptcheck: Simple Proof Term Checker in OCaml
Automated Reasoning in Higher Order Logic