1 files changed, 1 insertions, 0 deletions

diff --git a/AUTHORS b/AUTHORS
index f2113698..58978d23 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ Current Authors/Maintainers:
    Erik Martin-Dorel   (Coq, Web site)
    Clément Pit-Claudel (Coq, packaging)
    Christophe Raffalli (PhoX)
+   Pierre-Yves Strub   (EasyCrypt)
    Hendrik Tews        (Proof Tree)
 
 Previous Authors: