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