ImperialCollegeLondon/formalising-mathematics Stargazers
- Alberto CentellesAcentelles
- Albert Jiangalbertqjiang
- Junyan Xualreadydone
- Amadeusineamadeusine
- Apurvaapurvnakade
- Alexandre Rademakerarademaker
- Bidit MangalBiditmangal
- Mantas BaksysBorsuk1
- Benbvisch
- Claire Rebellocrebello
- denisfitz57
- George Pîrleadranov
- ebigramebigram
- freeman42xfreeman42x
- Jeff Hammerbacherhammer
- Henrik BövinghargoniX
- hierophantos
- Huỳnh Trần Khanhhuynhtrankhanh
- Soumyajit Debhyp3r5pace
- Jose A. Alonsojaalonso
- Jasdev Singhjasdev
- jsstapleton
- Julian-Kuelshammer
- Kidane Weldemariamkyw-iduce
- Marcos Benevidesmtrsk
- nate stemennatestemen
- Nikitanikitavoloboev
- Noah Weningernwoeanhinnogaehr
- Brandon Boutlace
- Owain Westowainwest
- Paul Cadmanpaulcadman
- Richard Voddenrvodden
- Shantanu Kulkarnishantanu3637
- sanadungatz
- Xuanrui Qixuanruiqi
- mishayagudin