SKolodynski/IsarMathLib
IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
IsabelleNOASSERTION
Stargazers
- adelon0° 0′ 0″ N, 0° 0′ 0″ E
- brendanzab@yeslogic
- CoghettoRcafr-MSA2P asbl
- dan323Ocado Technologies
- DejanMilicicSerbia
- denisfitz57
- georgydunaevBerlin
- jaalonsoUniversidad de Sevilla
- MorenoXiaoMunich， Germany
- nobrowser
- owencorrigan
- quyseKavykhi
- secwangbeijing
- SKolodynski
- Yosuke-Ito-345Sompo Himawari Life Insurance Inc.
- zacque0