IsarMathLib
A library of formalized mathematics for Isabelle/ZF theorem proving environment
this is theory placeholder
About this site
this is links placeholder