Watchers
- AlizterLondon, United Kingdom
- andres-erbsen
- aspiwackTweag
- Boarders
- braibantLondon
- clarusFormal Land
- cmangin
- CohenCyrilInria
- eemailme
- ejgallegoInria
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- gares@coq @math-comp @LPCIC
- herbelin
- JasonGrossMachine Intelligence Research Institute
- jfehrleMenlo Park, California
- jhcloos
- johanneskloos@diffblue
- llelf
- Lysxia
- MarisaKirisame魔法の森, Gensokyo
- mattam82Inria
- maximedenes
- mjjmcdonald
- pirboParis
- ppedrot
- ramons03
- silene
- SkySkimmerInria
- soraros
- TheoWinterhalterINRIA Saclay
- xuanYangindependent researcher
- ybertotInria
- Zimmi48Télécom Paris