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