leanprover-community/tutorials Stargazers
- Andrewaevista
- Junyan Xualreadydone
- Alexandre Rademakerarademaker
- BatmanBatmanabcdefg
- beike-zh
- AlirezaBelegCuthalion
- Benbvisch
- Adhirajbyt3h3ad
- CGenie
- Connor BakerConnorBaker
- Daniel Shaperodanshapero
- Baitian LiEntropyIncreaser
- Daniel Albertesclear
- Grant Bradleygdbrad
- Garrett van WageningenGHvW
- gonzalgugonzalgu
- Hagb (Junyu Guo 郭俊余)Hagb
- Jesse Michael Hanjesse-michael-han
- Kevinkevindoran
- Josh Fassmaxentile
- Matějmgrabovsky
- ndcroos
- Erinneevor
- nemNeM-T
- Niraj Venkatnirajvenkat
- Renaud Lifchitznono2357
- Ollie Perréeollieperree
- Orpheus Lummisorpheuslummis
- Brandon Boutlace
- Rob Lewisrobertylewis
- Dan StanescustanescuUW
- Utensilutensil
- VKLSTU
- Ilmari Vacklinwolverian
- XLoryjl9903
- Asilozhao-huang