gallais/agda-presburger Stargazers
- adelon
- Alexander TAleXoundOS
- anoriqqanoriqq
- Anquranqurvanillapy
- Ayberk Tosunayberkt
- Paolo G. GiarrussoBlaisorblade
- Siddharthbollu
- Borja Sierraborsiemir
- chessaichessai
- Guillaume Claretclarus
- Alex Gryzlovclayrat
- Daniel Fruminco-dan
- frankymacster
- G. Allaisgallais
- hangedmanhangingman
- Jon Sterlingjonsterling
- Joomy Korkutjoom
- logicshan
- Medson Oliveiramedson10
- Miëtek Bakmietek
- Artsiom Miklushoumikla
- Piotr JanderPiotrJander
- Henry Blanchetterybla
- Sergei Romanenkosergei-romanenko
- Sora Morimotosmorimoto
- Remy Goldschmidttaktoa
- aramyathamugadi
- Tim Baumanntimjb
- Gregory Gerasevuhbif19
- Zaki Mughal [sivoais]zmughal