leanprover-community/lean4-metaprogramming-book Stargazers
- Anand Rao0art0
- Adam Topazadamtopaz
- damianoadomani
- Alcides Fonsecaalcides
- Junyan Xualreadydone
- John Bakerbakerjd99
- Siddharthbollu
- Bryan Gin-ge Chenbryangingechen
- Bulhwi Chachabulhwi
- crabcrabbo-rave
- Fabrício S. Paranhosfasapa
- François G. Doraisfgdorais
- Florian WürmseerFWuermse
- Henrik BövinghargoniX
- Huỳnh Trần Khanhhuynhtrankhanh
- Ianianmoran11
- javpaw
- juan pablo romerojpablo
- Julian BermanJulian
- Koundinya Vajjhakodyvajjha
- Lane Biocinilane-core
- Tomáš Skřivanlecopivo
- logicshan
- Marcus Rosselmarcusrossel
- Daniel Mahlermhlr
- Minal S Patilminalspatil
- Matej Penciakmpenciak
- Nikitanikitavoloboev
- Brandon Boutlace
- Adrien StalainPolyB
- Ramon Fernández Mirramonfmir
- Rishikesh Vaishnavrish987
- VitalyRVitalyAnkh
- Wojciech NawrockiVtec234
- 王虚白xubaiw
- yiyishibashi