ammkrn/type_checking_in_lean4 Stargazers
- Koundinya Vajjhaaidmandorky
- Potato Hatsueberberman
- bernborgess
- CAIMEOCAIMEOX
- Bulhwi Chachabulhwi
- cybai (Haku)CYBAI
- Daniele Pusceddudanielepusceddu
- Lîm Tsú-thuàndannypsnl
- joewatt95
- Julian BermanJulian
- ypcpyKensuke-Hinata
- 简LittleJianCH
- keithelissimus
- Tony Beta Lambdatonyxty
- Utensilutensil
- SamuelVhRvo
- VitalyRVitalyAnkh