leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
LeanApache-2.0
Stargazers
- adhalanay
- alreadydoneHeidelberg / Shenzhen
- brandonwillard.txt
- brendanzab@yeslogic
- CohenCyrilInria
- DimercelRussia
- forked-from-1kasperMilky Way, Solar System, Earth
- fpvandoornUniversity of Paris-Saclay
- gebnerMicrosoft Research
- jcommelin—
- jesse-michael-hanUniversity of Pittsburgh
- jgoldfarPacific Time Zone
- jiangplusshenzhen, china
- juanbono@lambdaclass
- junjihashimotoJapan
- jxuCarnegie Mellon University
- kevinclancyCertiK
- KraksINRIA/ENS; Tufts
- linpingchuanShenZhen.China
- louy2
- ltouroUY3
- merbst@DandelionLabs Foundation Internet Literacy Mentoring Inspiring Collaboration Across Oceans with Open Content
- mjendrusch
- MOZGIII
- mullr
- natestemen@unitaryfund
- neilvyas@Affirm, @HVF
- nhjk
- PatrickMassotParis
- petrosyh
- PhDPUniversité de Montréal
- recmo@worldcoin
- sdiehlLondon
- ssomayyajulaAWS
- SvenWille
- tanhtmWhite Neuron Co. Ltd