diff options
| author |  Yishuai Li <yishuai@cis.upenn.edu> | 2018-04-13 20:09:00 -0400 |
|---|---|---|
| committer | Yishuai Li <yishuai@cis.upenn.edu> | 2018-04-15 02:58:06 -0400 |
| commit | 01aa4fb84a32d0a94f88c5ec785030264452ae91 (patch) | |
| tree | 3146e666de421ddc4f0edd50b81858069e3cb133 /CREDITS | |
| parent | c291a8829556dc2a61fcacc08b34e1d68d66b89e (diff) | |
Simplify CircleCI script
Diffstat (limited to 'CREDITS')
| -rw-r--r-- | CREDITS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -128,6 +128,8 @@ of the Coq Proof assistant during the indicated time: Matej Košík (INRIA, 2015-2017) Pierre Letouzey (LRI, 2000-2004, PPS, 2005-2008, INRIA-PPS then IRIF, 2009-now) + Yishuai Li (ORCID: https://orcid.org/0000-0002-5728-5903 + U. Penn, 2018) Patrick Loiseleur (Paris Sud, 1997-1999) Evgeny Makarov (INRIA, 2007) Gregory Malecha (Harvard University 2013-2015, |