leanprover/theorem_proving_in_lean4 Stargazers
- Alcides Fonsecaalcides
- Anton Trunovanton-trunov
- Artur AndrzejakArturHD
- John Bakerbakerjd99
- beike-zh
- Brunobruno-who-likes
- Bulhwi Chachabulhwi
- d3v3l0
- Florian WürmseerFWuermse
- Garmelon
- Tci Gravifer FangGravifer
- Henrik BövinghargoniX
- Huỳnh Trần Khanhhuynhtrankhanh
- i64
- intsuc
- Josh TillesJosh-Tilles
- Julian BermanJulian
- Jon Crossleyjwcross
- Lumi Kaltlumikalt
- Nina.bmina59
- Mukesh Tiwarimukeshtiwari
- nothingnesses
- Niclas Overby Ⓝnoverby
- Thomas Woododellus
- Brandon Boutlace
- Philip Zuckerphilzook58
- Govind Pimpalepimpale
- Ramon Fernández Mirramonfmir
- Saul Shanabrooksaulshanabrook
- SearchingFox
- Shim SeongWooshimsw20
- Siddhartha Gadgilsiddhartha-gadgil
- SteveUSteveUlin
- Jose Abel Castellanos JootypesAreSpaces
- VitalyRVitalyAnkh
- HaiyangWangHaiYang874