formalized-mathematics topic
List
formalized-mathematics repositories
trafficstars
IsarMathLib
16
Stars
2
Forks
Watchers
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
