leanprover/fp-lean Stargazers
- Dragan Okanovicabstractalgo
- Alex J Bestalexjbest
- Andrea NardiAndful
- Anquranqurvanillapy
- Arrizal Aminarrizalamin
- John Bakerbakerjd99
- Luis O'Sheabanbh
- Banguiskode
- Bulhwi Chachabulhwi
- Liu Yuxicrvdgc
- Lîm Tsú-thuàndannypsnl
- dikipdikiprawisuda
- Dipesh Kafledipeshkaphle
- Luca Zhangduobei
- Fabio S.fabiohto
- FizzyEltFizzyElt
- fzyzcjyfzyzcjy
- Alexander Chichigingabriel-fallen
- gurpreetshanky
- Hagb (Junyu Guo 郭俊余)Hagb
- Henrik BövinghargoniX
- intsuc
- Jeff CarpenterJeffCarpenter
- Martin Dvořákmadvorak
- Mango The FourthMangoIV
- Michal Terepetamichalt
- Nikitanikitavoloboev
- SandalotsSandalots
- SeungheonOhSeungheonOh
- shuhungshhyou
- SomeoneSomeoneSerge
- Tim Kerseytkersey
- Soc Virnyl S. Estelauncomfyhalomacro
- Utensilutensil
- Vishal Lamavishallama
- voila