diff options
| author |  David Benjamin <davidben@google.com> | 2018-01-03 13:56:23 -0500 |
|---|---|---|
| committer |  Andres Erbsen <andreser@mit.edu> | 2018-01-08 14:34:33 -0500 |
| commit | 18a6b27953994c6faf04c1e5ee38d7702142641d (patch) | |
| tree | 2c346220203f860df0b3a2f980c6d894ef4e000c /CONTRIBUTORS | |
| parent | 3ea7cbc0f09a9a77ddd945072717f4924df9ce01 (diff) | |
Prove montladder correct in the zero case.
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 905edafd1..fbe1f02cd 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -23,6 +23,7 @@ Adam Chlipala <adamc@csail.mit.edu> <adam@chlipala.net> Andres Erbsen <andreser@mit.edu> Daniel Ziegler <dmz@mit.edu> +David Benjamin <davidben@google.com> Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Jason Gross <jgross@mit.edu> <jagro@google.com> <jasongross9@gmail.com> Robert Sloan <rsloan@mit.edu> <varomodt@gmail.com> <rsloan@sumologic.com> |