Library Home || Full Table of Contents || Library Help
|IsarMathLib is a library of proofs that have been checked with Isabelle proof assistant, based on the Isabelle's ZF logic. The emphasis is put on readibility. The proofs are written using Isar syntax and can be read and followed by any person familliar with standard mathematical notation.|
|Resource Types:||Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.