UniMath/agda-unimath Stargazers
- Максим Сохацький5HT
- Åsmund KløvstadAqissiaq
- Artem Mavrinartemmavrin
- bourbakis
- sameer guptacarnotweat
- Chris LinChrisLinn
- Daniel Fruminco-dan
- aprilcyberglot
- Lîm Tsú-thuàndannypsnl
- Eagleeagle-k
- Eitan Chatavechatav
- Edward Kimekim1919
- ElifUskuplu
- favoniafavonia
- Lucas Escotflupe
- shekhinah memmelherkhinah
- Tesla Zhangice1000
- JohnsonLeeJ0HN50N133
- Josh Chenjaycech3n
- Jon Sterlingjonsterling
- Liang-Ting ChenL-TChen
- ndcroos
- Nikitanikitavoloboev
- Dmitry Kozlovtsevnon-descriptive
- Masanori Oginoomasanori
- Prashi Dovalprashi23
- Laine Taffin Altmanpthariensflame
- Gérard Rozsavolgyiroza
- Sora Morimotosmorimoto
- soraros
- sydelcid
- Tim Kerseytkersey
- Yiwei Yangvictoryang00
- Vikraman Choudhuryvikraman
- Yiqi XuYiqiXu
- Zoey Sheffieldzoeyfyi