leanprover-community/quote4 Stargazers
- Максим Сохацький5HT
- Adrian Martiadrianmartir
- Alex Hixonahixon
- Alcides Fonsecaalcides
- Anquranqurvanillapy
- beike-zh
- Siddharthbollu
- Bryan Gin-ge Chenbryangingechen
- Bulhwi Chachabulhwi
- ChesiumChesium
- Lîm Tsú-thuàndannypsnl
- Ed AyersEdAyers
- fpfu
- Guilherme Silvaguilhermehas
- Henrik BövinghargoniX
- Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Formichxorya
- Jonathan OsserInvisible-Rabbit-Hunter
- Gary HaussmannIzzimach
- Shengyi Jiangjiangsy
- Josh TillesJosh-Tilles
- Sebastian UllrichKha
- Leonardo de Mouraleodemoura
- MilleniumSpark
- Minal S Patilminalspatil
- Nikitanikitavoloboev
- Orestis Melkonianomelkonian
- Philip Zuckerphilzook58
- pretentious7
- Ryan LahfaRaitoBezarius
- Ramon Fernández Mirramonfmir
- Siddhartha Gadgilsiddhartha-gadgil
- Sebastian ReicheltSReichelt
- Constantin GIERCZAK--GALLESup3Legacy
- uribalb
- Wojciech NawrockiVtec234
- 王虚白xubaiw