coq/ltac2 Stargazers
- Максим Сохацький5HT
- András KovácsAndrasKovacs
- Armaël GuéneauArmael
- Vitalii Akimovawto
- Benjamin Barenblatbbarenblat
- Paolo G. GiarrussoBlaisorblade
- Guillaume Claretclarus
- Cole Hudsoncolejhudson
- Darren Lidarrenldl
- Dmytro SirenkoEarlGray
- Erik Martin-Dorelerikmd
- G. Allaisgallais
- Chenjiegec
- Jon Sterlingjonsterling
- daniel gratzerjozefg
- Juan Bonojuanbono
- A ghost.madvagabond
- Marcos Benevidesmtrsk
- Mukesh Tiwarimukeshtiwari
- noti0na1noti0na1
- Nikita Zyuzinnzyuzin
- Orpheus Lummisorpheuslummis
- Thomas Gazagnairesamoht
- Scott Fleischmanscott-fleischman
- Seb Mondetsmondet
- soraros
- Satoru "Con" Takasimizutakasimiz
- Théo WinterhalterTheoWinterhalter
- Vincent Laportevbgl
- Catherinewhitequark
- Hiroki Oshikawawkwkes