Pages that link to "Isabelle (proof assistant)"
Jump to navigation
Jump to search
The following pages link to Isabelle (proof assistant):
Displaying 16 items.
- Automated theorem proving (← links)
- Gödel's ontological proof (← links)
- Integer (← links)
- Presburger arithmetic (← links)
- Type theory (← links)
- Standard ML (← links)
- HOL (proof assistant) (← links)
- Cantor's theorem (← links)
- Kepler conjecture (← links)
- Department of Computer Science and Technology, University of Cambridge (← links)
- 1986 in science (← links)
- Van Emde Boas tree (← links)
- Proof assistant (← links)
- Thomas Callister Hales (← links)
- Automated reasoning (← links)
- User:Vkuncak (← links)