coq-community/coq-tricks Stargazers
- Alex DenisovAlexDenisov
- Amir M. Saeidamir
- Andreas LööwAndreasLoow
- Anish Athalyeanishathalye
- Anton Trunovanton-trunov
- awkure
- conengconengine
- Clément Pit-Claudelcpitclaudel
- aprilcyberglot
- Denis Denisovdenji
- Kirill ValiavinElvecent
- favoniafavonia
- foreverbellforeverbell
- Hanlin Hehanlhe
- Sandra Dylusichistmeinname
- Jesús Héctor Domínguez Sánchezjeshecdom
- EngiseerJmw150
- Jon Sterlingjonsterling
- Joomy Korkutjoom
- Juan Bonojuanbono
- kammitama5
- テンプテーションkultism
- Malte SchledjewskiMalteSchledjewski
- Neil Parikhneilparikh
- Olivier Verdierolivierverdier
- Rodrigo Geraldo Ribeirorodrigogribeiro
- Scott Fleischmanscott-fleischman
- Seb Mondetsmondet
- Stanislav Pankevichstanislaw
- themattchan
- Tim Kerseytkersey
- Viresh Sanagoudarvireshas
- Lucas FranceschinoW95Psp
- Ray Wangwangray
- Siraaj Khandkarxandkar
- Matheus Albuquerqueythecombinator