formal-land/coq-of-ocaml Stargazers
- Максим Сохацький5HT
- abdul dakkakabduld
- Anton Trunovanton-trunov
- Alexander Tarasikovastarasikov
- Anil Madhavapeddyavsm
- Guillaume Claretclarus
- conengconengine
- Jakub Arnolddarthdeus
- Erich Oceanerichocean
- Eray Özkuralexamachine
- ghuysmans
- Ioannis Sfyrakisgsfyrakis
- Hannes Mehnerthannesm
- Marcelo Camargohaskellcamargo
- Jerome Simeonjeromesimeon
- jmitchell
- junji hashimotojunjihashimoto
- Kyle Isomkisom
- Jiani Huangmoqingyan
- Matthew Ryanmrmr1993
- noti0na1noti0na1
- oledl
- pludmann
- Rick Elrodrelrod
- Risto StevcevRisto-Stevcev
- Roy Shangroyshang
- Erikarrika
- Thomas Gazagnairesamoht
- Chen Shenscv119
- Aistis Raulinaitissheganinans
- Seb Mondetsmondet
- Tom Rtnrn9b
- Ralf Voglervogler
- voila
- Jiawei Wangwangjwchn
- Wild Pouterwildptr
