leanprover-community/quote4 Stargazers
- Aaron Allenaaronallen8455
- Sofia Rodriguesalgebraic-sofia
- Alok Singhalok
- Ted Fengartisdom
- Walter Schulzeawalterschulze
- xiao Nezhabesttea
- Jure Taslakcilinder
- codyroux
- dxod-xo
- Gabriel Ebnergebner
- Palalansoukîiehality
- Jakob von Raumerjavra
- joewatt95
- Jiazhen Xiajzxia
- Pol'tta / Miyahara KōKomyyy
- Leonardo JaquesLeonardoJaques
- Jordan Moorelockbox
- luohaoyuan0420-w
- sudo rm -rf --no-preserve-root /pcaversaccio
- Yan Pengpennyannn
- Andrew Kentpnwamk
- SnO₂WMaNSnO2WMaN
- Sunny Gonnabathulasunny-g
- Timon Böhlertimon999
- Tomaz Gomes Mascarenhastomaz1502
- Markus HimmelTwoFX
- Utensilutensil
- Victor Borjavic
- Yiyuan Caoyiyuan-cao