math-comp/POPLmark Watchers
- affeldt-aist
- Assia Mahboubiamahboubi
- Anton Trunovanton-trunov
- Christian Doczkalchdoc
- Cyril CohenCohenCyril
- eemailme
- Emilio Jesús Gallego Ariasejgallego
- Enrico Tassigares
- Georges Gonthierggonthier
- James Cloosjhcloos
- LaurenceLaurenceRideau
- antonio nikishaevllelf
- Kazuhiko Sakaguchipi8027
- Pierre-Yves Strubstrub
- Laurent Thérythery
- Yves Bertotybertot