leanprover-community/batteries Stargazers
- Marc Huisingamhuisi
- Henrik BövinghargoniX
- Jon Sterlingjonsterling
- Anders Christiansen SørbyAnderssorby
- Tim Kerseytkersey
- Tom Houlétomhoule
- Siegmentation Faultforked-from-1kasper
- Shengyi Jiangjiangsy
- Siddharthbollu
- intsuc
- Grayson Burtonocornoc
- Jose Abel Castellanos JootypesAreSpaces
- Matej Penciakmpenciak
- Ramon Fernández Mirramonfmir
- Trebor HuangTrebor-Huang
- Zhanrong Qiaobridgekat
- 简LittleJianCH
- Lîm Tsú-thuàndannypsnl
- Anquranqurvanillapy
- Ed AyersEdAyers
- Huỳnh Trần Khanhhuynhtrankhanh
- Lorenz Leutgeblorenzleutgeb
- Gabriel Ebnergebner
- Nikitanikitavoloboev
- Bulhwi Chachabulhwi
- Bryan Gin-ge Chenbryangingechen
- Matthias Hetzenbergerhetzenmat
- Marcus Rosselmarcusrossel
- Nicolas Rollandnrolland
- Joe Hendrixjoehendrix
- Anatole DedeckerADedecker
- Basel Ajarmahbaajarmeh
- zazbone
- 王虚白xubaiw
- Rekihyt
- Jan-Mirko Ottermirkootter