coq-community/aac-tactics Stargazers
- Anton Trunovanton-trunov
- Brunobruno-who-likes
- chessaichessai
- Guillaume Claretclarus
- cybai (Haku)CYBAI
- Irene Yooneuisuny
- Evgeniy Moiseenkoeupp
- Graham CampbellGrahamCampbell
- Hanneli Tavantehannelita
- Huỳnh Trần Khanhhuynhtrankhanh
- IJM98
- Jean-Marie Madiotjmadiot
- Jack Valinskyjvalinsky
- Marcello Serimseri
- Sarfaraz Muhammad SajibMuhammad-Sarfaraz
- Mukesh Tiwarimukeshtiwari
- Nikitanikitavoloboev
- Ian Zimmermannobrowser
- Philip Zuckerphilzook58
- Thomas Gazagnairesamoht
- Stephen Diehlsdiehl
- Seb Mondetsmondet
- Sora Morimotosmorimoto
- soraros
- unsoundsystem
- Vincent Laportevbgl
- zeroWill-cert
- Yannick Forsteryforster
- Zain K AamerZippeyKeys12