From 18a6b27953994c6faf04c1e5ee38d7702142641d Mon Sep 17 00:00:00 2001
From: David Benjamin <davidben@google.com>
Date: Wed, 3 Jan 2018 13:56:23 -0500
Subject: Prove montladder correct in the zero case.

---
 CONTRIBUTORS | 1 +
 1 file changed, 1 insertion(+)

(limited to 'CONTRIBUTORS')

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>
-- 
cgit v1.2.3