leanprover-community/mathematics_in_lean Stargazers
- Kevin Buzzardkbuzzard
- Anquranqurvanillapy
- Dan StanescustanescuUW
- Matt Earnshawmattearnshaw
- Utensilutensil
- Brandon Boutlace
- Pius Uzamerepius
- Tyler YepTylerYep
- contrun
- d3v3l0
- beike-zh
- leon-volq
- Jesse Mj-malt
- Brian W Bushbwbush
- Hagb (Junyu Guo 郭俊余)Hagb
- dolcos
- Robin Stammerrstammer
- Martin Milanmartin12333
- stephen-welch
- John Bakerbakerjd99
- Ramon Fernández Mirramonfmir
- Daniel Albertesclear
- Taylor Belcherhotdogontology
- Gabriel Dahiagdahia
- universemaster
- Junyan Xualreadydone
- Jose A. Alonsojaalonso
- Tim Kerseytkersey
- Matías Alexander HillmanngitMatiH
- Matt Erbstmerbst
- nhjk
- fzyzcjyfzyzcjy
- czxieren58
- j-thach000
- desk7
- ubik2