ImperialCollegeLondon/formalising-mathematics-2023 Stargazers
- Alberto CentellesAcentelles
- AmirAG00
- Alex Sweeneyajs1998
- Alcides Fonsecaalcides
- Alex J Bestalexjbest
- Alexandre MechineauAlexsaphir
- Junyan Xualreadydone
- Andrea NardiAndful
- Atmos Macielatmosmps
- John Bakerbakerjd99
- Bulhwi Chachabulhwi
- Jendrik Stelznercionx
- Daniele Pusceddudanielepusceddu
- Fabio S.fabiohto
- Gina Peter BanyardGirgias
- Jeff Hammerbacherhammer
- PCloudHEIGE-PCloud
- hreeve27
- jag2231james-guevara
- Jujian Zhangjjaassoonn
- math-queen
- Daniel Mahlermhlr
- naznazariyv
- ndcroos
- Rayhan Mominrmmomin
- David Youngroboguy13
- KitamadoSeasawher
- ST-48-1240162
- vinceteamrocket77
- aramyathamugadi
- Tomtherewillbecode
- universemaster
- Utensilutensil
- Russel DemosVeemon
- Yiqi XuYiqiXu
- Zarakzarak