diff options
| author | Talia Ringer | 2019-05-22 17:29:29 -0400 |
|---|---|---|
| committer | Talia Ringer | 2019-05-22 17:29:29 -0400 |
| commit | 7ea5bd0c7180b21e03f6118b3534b3b2f0792758 (patch) | |
| tree | 6cae4ad10e17d8d8e5c795d858525c4d02dc323f /CREDITS | |
| parent | 577db38704896c75d1db149f6b71052ef47202be (diff) | |
unified style for new hooks and old hooks
Diffstat (limited to 'CREDITS')
| -rw-r--r-- | CREDITS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -170,6 +170,7 @@ of the Coq Proof assistant during the indicated time: Nickolai Zeldovich (MIT 2014-2016) Théo Zimmermann (ORCID: https://orcid.org/0000-0002-3580-8806, INRIA-PPS then IRIF, 2015-now) + Talia Ringer (UW, 2019) *************************************************************************** INRIA refers to: |