isabelle-zf topic

List isabelle-zf repositories

IsarMathLib

16
Stars
2
Forks
Watchers

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

verified publisher icon SKolodynski