Pages that link to "Proof assistant"
The following pages link to Proof assistant:
Displaying 18 items.
- Automated theorem proving (← 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)