1 files changed, 1 insertions, 0 deletions
diff --git a/CREDITS b/CREDITS
index cdf8ed5ce..b05917930 100644
--- a/CREDITS
+++ b/CREDITS
@@ -113,6 +113,7 @@ of the Coq Proof assistant during the indicated time:
   Cristina Cornes (INRIA, 1993-1996)
   Yann Coscoy (INRIA Sophia-Antipolis, 1995-1996)
   David Delahaye (INRIA, 1997-2002)
+  Maxime Dénès (INRIA, 2013-now)
   Daniel de Rauglaudre (INRIA, 1996-1998)
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)