leanprover-community/mathlib4 Stargazers
- Anand Rao0art0
- Adam Topazadamtopaz
- Adrian Martiadrianmartir
- Alex Hixonahixon
- Alex DikelskyAlexDikelsky
- beike-zh
- Bryan Gin-ge Chenbryangingechen
- Lîm Tsú-thuàndannypsnl
- Deniz Aydindenayd
- Daniel Selsamdselsam
- flyflyjgh
- furea2furea2
- Guilherme Silvaguilhermehas
- Henrik BövinghargoniX
- Huỳnh Trần Khanhhuynhtrankhanh
- intsuc
- Tianjiao Nieivwumupy
- Kexing YingJasonKYi
- John Fisherjg-fisher
- Julian BermanJulian
- Michael Kanekaneplusplus
- Sebastian UllrichKha
- Marcello Serimseri
- Naso Evangelou-Oostnasosev
- Nikitanikitavoloboev
- Brandon Boutlace
- qf0
- Ryan LahfaRaitoBezarius
- Ramon Fernández Mirramonfmir
- Samuel Ainsworthsamuela
- Saul Shanabrooksaulshanabrook
- Sofiasofia-snow
- Scott Olsonsolson
- sorawee
- uribalb
- Wojciech NawrockiVtec234