leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
LeanApache-2.0
Watchers
- aakarshhttps://aakarsh.github.io/
- alexjbestKing's College London
- AleXoundOSTbilisi, Georgia
- arienmalec
- ashwiniyengar
- bryangingechen
- CameronTorrance
- cipher1024Bedrock Systems
- CohenCyrilInria
- data-man@contour-terminal
- emwittUniversity of Kansas
- espressonator
- frankymacster
- j-loreauxEdwardsville, IL
- jaalonsoUniversidad de Sevilla
- javra
- jcommelin—
- jhcloos
- jueqingsizhe66NCEPU
- khoekCanberra, Australia
- kmillSanta Cruz, California
- liuyao12
- MadPidgeon
- mesobot
- mmasdeuUniversitat Autònoma de Barcelona
- Nolrai
- Or7ando
- prakol16
- robertylewisBrown University
- Rojina99Bhaktapur,Nepal
- rwbarton
- sakas--
- twoquarterricanUniversity of Notre Dame
- VitHubNoCompany
- williamtoaderDeutsche Bank
- WXB506TJU