AUTHORS 216 Bytes
Newer Older
1 2 3 4 5 6 7 8
Authors:

François Pottier <Francois.Pottier@inria.fr>
Yann Régis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>

Contributors:

Frédéric Bour (incremental engine, inspection API)
9
Jacques-Henri Jourdan (Coq back-end)