Added license + authors file

math-comp · Oct 26, 2015 · e647e66 · e647e66
1 parent 2109b61
commit e647e66
Show file tree

Hide file tree

Showing 3 changed files with 689 additions and 1 deletion.
diff --git a/AUTHORS b/AUTHORS
@@ -0,0 +1,14 @@
+Florent Hivert <[email protected]>
+
+Contributors:
+
+- Jean Christophe Filliâtre
+- Christine Paulin
+- Olivier Stietel
+
+This library was supported by additional discussions with:
+
+- Assia Mahoubi
+- Pierre Yves Strub
+- the SSReflect mailing list
+