Watchers
- bobatkeyEdinburgh, UK
- CohenCyrilInria
- coquand
- csgordonDrexel University
- devnag
- DragonLi
- drouhling
- favoniaUniversity of Minnesota
- guillaumebrunerieStockholm, Sweden
- iblechUniversity of Padova
- jonsterlingUniversity of Cambridge
- jypUniversity of Gothenburg
- kevinwatkinsAtlanta
- maoe@tsurucapital
- mortbergSweden
- pthariensflameModesto, CA, USA
- RafaelBocquet
- roboguy13
- simhu
- spittersAarhus University
- stheno2010Tokyo
- structuralist