Here are the initial authors of this library which contributed to its development before the project moved to Github (the version control [history before github](https://github.com/math-comp/mathcomp-history-before-github) can still be accessed). Recent contributors can be found in
the [CHANGELOG.md](https://github.com/math-comp/math-comp/blob/master/CHANGELOG.md)
and on [github insights](https://github.com/math-comp/math-comp/graphs/contributors)

- Andrea Asperti      University of Bologna - Microsoft Inria Joint Centre
- Jeremy Avigad       Carnegie Mellon University - Microsoft Inria Joint Centre
- Yves Bertot         Inria Sophia Antipolis - Microsoft Inria Joint Centre
- Cyril Cohen         LIX École Polytechnique - Microsoft Inria Joint Centre  	
- François Garillot   Microsoft Inria Joint Centre
- Georges Gonthier    Microsoft Research Cambridge - Microsoft Inria Joint Centre
- Stéphane Le Roux    Microsoft Inria Joint Centre
- Assia Mahboubi      Inria Saclay - Microsoft Inria Joint Centre
- Sidi Ould Biha      Inria Sophia Antipolis - Microsoft Inria Joint Centre
- Ioana Pasca         Inria Sophia Antipolis - Microsoft Inria Joint Centre
- Laurence Rideau     Inria Sophia Antipolis - Microsoft Inria Joint Centre
- Alexey Solovyev     University of Pittsburgh
- Enrico Tassi        Inria Saclay - Microsoft Inria Joint Centre
- Laurent Théry       Inria Sophia Antipolis - Microsoft Inria Joint Centre
- Russell O'Connor    Mc Master University - Microsoft Inria Joint Centre
