forked from math-comp/real-closed
-
Notifications
You must be signed in to change notification settings - Fork 0
/
AUTHORS
15 lines (15 loc) · 1019 Bytes
/
AUTHORS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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