coq-tactician/coq-tactician Stargazers
- Arthur Corrensonacorrenson
- Akira Kawataakawashiro
- Ana de Almeida Borgesana-borges
- Andy Panandy0130tw
- Anton Trunovanton-trunov
- Bartosz PiotrowskiBartoszPiotrowski
- AlirezaBelegCuthalion
- Daniel Fruminco-dan
- cybai (Haku)CYBAI
- Lîm Tsú-thuàndannypsnl
- Darrian l usserydarrianussery7
- George Pîrleadranov
- Evgeniy Moiseenkoeupp
- Eliah Rusinfranchb
- Sandra Dylusichistmeinname
- Tim Carstensintoverflow
- Josh Chenjaycech3n
- Liang-Ting ChenL-TChen
- λ Nekolambda-neko
- Sunghyuk Kaylkaybob
- Łukasz Czajkalukaszcz
- Minal S Patilminalspatil
- Kenny Shenqoelet
- Ramon Fernández Mirramonfmir
- Raptazureraptazure
- savi2wsavi2w
- Scott Godwinsgodwincs
- Seb Mondetsmondet
- Sora Morimotosmorimoto
- takahiro-prog
- Tim Kerseytkersey
- Tom Houlétomhoule
- Victor Borjavic
- Xavier Van de Woestynexvw
- Zhang-LiaoZhang-Liao
- zygi