add teams Stamp and Picube in CREDITS

ybertot · Jun 12, 2024 · f2d105b · f2d105b
1 parent b57e3f4
commit f2d105b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CREDITS b/CREDITS
@@ -1,6 +1,6 @@
 The "Coq proof assistant" was jointly developed by
 - INRIA Formel, Coq, LogiCal, ProVal, TypiCal, Marelle,
-  pi.r2, Ascola, Galinette projects (starting 1985),
+  pi.r2, Ascola, Galinette, Stamp, Picube projects (starting 1985),
 - Laboratoire de l'Informatique du Parallelisme (LIP)
   associated to CNRS and ENS Lyon (Sep. 1989 to Aug. 1997),
 - Laboratoire de Recherche en Informatique (LRI)