formalized-mathematics

There are 1 repositories under formalized-mathematics topic.

SKolodynski/IsarMathLib
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
Language:Isabelle17 5 202