Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

IsarMathLib

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.nongnu.org/isarmathlib/

Author:
Description: 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.

Levels: Research
Languages: English
Resource Types: Topic Tools Miscellaneous
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994- The Math Forum at NCTM. All rights reserved.
http://mathforum.org/