# Authors of this library

- Reynald Affeldt, National Institute of Advanced Industrial Science and Technology (AIST), Japan, initial author
- Yves Bertot, Inria
- Alessandro Bruni, IT-University of Copenhagen
- Cyril Cohen, Inria -> Inria, ENS de Lyon, CNRS, UCBL, LIP, initial author
- Marie Kerjean, CNRS
- Assia Mahboubi, Inria, initial author
- Damien Rouhling, when at Inria, initial author
- Pierre Roux, Onera
- Kazuhiko Sakaguchi, Inria -> CNRS, ENS de Lyon, UCBL, LIP
- Zachary Stone,
- Pierre-Yves Strub, when at École polytechnique, initial author
- Laurent Théry, Inria
