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 /_CoqProject | |
| parent | 3ea7cbc0f09a9a77ddd945072717f4924df9ce01 (diff) | |
Prove montladder correct in the zero case.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions