Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.
Isabelle
Isabelle
2024-07-03
Science, Math, Logic and Foundations, Computational Logic - Isabelle. Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.