SKolodynski
Results
1
repositories owned by
SKolodynski
IsarMathLib
16
Stars
2
Forks
Watchers
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
