Library Home || Full Table of Contents || Library Help
|A generic theorem proving environment developed at Cambridge University and TU Munich. Isabelle/HOL is currently the best developed object logic, including an extensive library of (concrete) mathematics, and various packages for advanced definitional concepts (like (co-)inductive sets and types, well-founded recursion etc.).|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.