AUTHORS 316 Bytes
Newer Older
1
Guillaume Melquiond <guillaume.melquiond@inria.fr>
Guillaume Melquiond's avatar
Guillaume Melquiond committed
2 3 4 5 6 7 8 9

Authors of the CoqApprox files are:

Érik Martin-Dorel <erik.martin-dorel@ens-lyon.org>
Micaela Mayero <micaela.mayero@lipn.univ-paris13.fr>
Ioana Pasca <ioana.pasca@iut-nimes.fr>
Laurence Rideau <laurence.rideau@inria.fr>
Laurent Théry <laurent.thery@inria.fr>