1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
|
