digama0/lean-type-theory Stargazers
- Andre Kuhlenschmidtakuhlens
- Junyan Xualreadydone
- Amadeusineamadeusine
- Chris Baileyammkrn
- Anquranqurvanillapy
- beike-zh
- AlirezaBelegCuthalion
- Paolo G. GiarrussoBlaisorblade
- Brando Mirandabrando90
- cc8887
- Dimitur Krustevdkrustev
- Evgeny Kochetkovevgenykochetkov
- Yifeng HeEYH0602
- Francisco Ferreirafferreira
- Siegmentation Faultforked-from-1kasper
- Gabriel Ebnergebner
- gonzalgugonzalgu
- Mohamed Saherhalsten
- Harrison GrodinHarrisonGrodin
- Philipp G. Haselwarterhaselwarter
- Jared CorduanJaredCorduan
- Josh Chenjaycech3n
- Josh TillesJosh-Tilles
- Julian BermanJulian
- Kartik Singhalk4rtik
- Marco Favoritomarcofavorito
- Martin Milanmartin12333
- Verity ScheelMonoidMusician
- MrcPl
- Mukesh Tiwarimukeshtiwari
- Henry BlanchetteRiib11
- Samuel Lelièvreslel
- soraros
- Tim Kerseytkersey
- Utensilutensil
- Wojciech NawrockiVtec234