The laby team (authors and contributors):
  Stéphane Gimenez <gimenez@pps.jussieu.fr>
  Pierre-Malo Dénielou <pierre-malo.denielou@inria.fr>
  Stéphane Glondu <glondu@pps.jussieu.fr>
  Grégoire Henry <henry@pps.jussieu.fr>
  Vincent Balat <balat@pps.jussieu.fr>
  Barry Arthur <barry.arthur@gmail.com>

Translations:
  English: Stéphane Gimenez, Barry Arthur
  French: Stéphane Gimenez
  Hungarian: DarkLight