SKolodynski

Results 1 repositories owned by SKolodynski

IsarMathLib

16
Stars
2
Forks
Watchers

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

verified publisher icon SKolodynski