ImperialCollegeLondon/formalising-mathematics-2024 Stargazers
- Adrian Doleadriandole
- Anton Kovsharovantonkov
- Archiearchiebrowne
- aresbit
- as_sqrasSqr
- Kafuuchin0chin0
- d-atif
- Daniel Hillerströmdhil
- Fabio S.fabiohto
- Feroferologics
- gm8xx8
- PCloudHEIGE-PCloud
- Ho Wing YipHoWingYip
- jborregouses
- jcintasr
- Gonzalo Juarezjuarez-gonza
- Julian BermanJulian
- kammitama5
- Evgenia Karunuslakesare
- Jakub Bartczuklambdaofgod
- Leo Jonesleorjones
- Marek Magdziakmkmarek
- Michael Oberstmoberst
- Andrew Naguibndrwnaguib
- Max KlygaNekuromento
- Dennis M Senyonjoneo4reo
- Nick Imanzinickocodes
- Owain gaundersOwain-S
- philomorphismphilomorphism
- pyfagorassPyfagorass
- Sayanta Chowdhurysayanta28
- Attila Gulyastoraritte
- Vasily IlinVilin97
- VitalyRVitalyAnkh
- Nathan Lloyd Wardwardnath
- zhantyzgz
