andrejbauer/spartan-type-theory Stargazers
- Amir M. Saeidamir
- Bram Geronbgeron
- Bia10
- Brendan Zabarauskasbrendanzab
- Cem Turancem2ran
- Alex Gryzlovclayrat
- realazycxa
- Braxtonheptahedron
- Rutvik Patelheyrutvik
- Juan Bonojuanbono
- Guannan WeiKraks
- Yurii Lahodiuklagodiuk
- Chenggong Lyulcgong
- Roma Sokolovlittle-arhat
- logicshan
- A ghost.madvagabond
- Maximilian AlgehedMaximilianAlgehed
- Matějmgrabovsky
- Michael Caleymjcaley
- Mario Románmroman42
- Marcello Serimseri
- Niels van der Weidenmvdw
- Alex Luop8867555
- Pawel Stenkapawsten
- puyol
- Rodrigo Geraldo Ribeirorodrigogribeiro
- Scott Fleischmanscott-fleischman
- Seb Mondetsmondet
- ⊣˚∆˚⊢srdjan
- Steven Shawsteshaw
- Théo WinterhalterTheoWinterhalter
- Dr.ThunderThunderHeavyIndustries
- Tienson Qintiensonqin
- Tim Baumanntimjb
- Tim Kerseytkersey
- Eric Baileyyurrriq