The following pages link to Proof assistant:
Displayed 37 items.
- Automated theorem proving (← links | edit)
- Timeline of computing (← links | edit)
- Classification of finite simple groups (← links | edit)
- Four color theorem (← links | edit)
- First-order logic (← links | edit)
- Gödel's ontological proof (← links | edit)
- Integer (← links | edit)
- Mathematics (← links | edit)
- Precondition (← links | edit)
- Type theory (← links | edit)
- Philosophy of mathematics (← links | edit)
- Unification (computer science) (← links | edit)
- Gödel's incompleteness theorems (← links | edit)
- Universal Turing machine (← links | edit)
- Mathematical proof (← links | edit)
- Standard ML (← links | edit)
- Theorem prover (← links | edit)
- HOL (proof assistant) (← links | edit)
- Logic for Computable Functions (← links | edit)
- Division by zero (← links | edit)
- Mizar system (← links | edit)
- QED manifesto (← links | edit)
- Euclid's Elements (← links | edit)
- Formal verification (← links | edit)
- French Institute for Research in Computer Science and Automation (← links | edit)
- Pick's theorem (← links | edit)
- Intuitionistic type theory (← links | edit)
- Kepler conjecture (← links | edit)
- Backward chaining (← links | edit)
- Rocq (← links | edit)
- Calculus of constructions (← links | edit)
- Conceptual system (← links | edit)
- Disjoint-set data structure (← links | edit)
- Normal form (natural deduction) (← links | edit)
- Formal proof (← links | edit)
- SIGPLAN (← links | edit)
- Template:Timeline History of Computing (← links | edit)