AUTHORS 135 Bytes
Newer Older
1 2
Franois Pottier <Francois.Pottier@inria.fr>
Yann Rgis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
3
Jacques-Henri Jourdan (Coq back-end)