license: URL: https://github.com/math-comp/math-comp.git
  License: CECILL-1.0
  
  
  AUTHORS:
  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
  