The following pages link to Isabelle (proof assistant):
Displayed 13 items.
- Automated theorem proving (← links | edit)
- Gödel's ontological proof (← links | edit)
- Integer (← links | edit)
- Presburger arithmetic (← links | edit)
- Type theory (← links | edit)
- Standard ML (← links | edit)
- HOL (proof assistant) (← links | edit)
- Cantor's theorem (← links | edit)
- Kepler conjecture (← links | edit)
- Department of Computer Science and Technology, University of Cambridge (← links | edit)
- 1986 in science (← links | edit)
- Van Emde Boas tree (← links | edit)
- Proof assistant (← links | edit)