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