diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-09-17 12:33:44 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-09-17 14:50:49 -0400 |
| commit | 3959bc9986391882b3b73acd25e0fba04cdebbd9 (patch) | |
| tree | f72b4516a16af91a90f6b38909d5ade88131a42d /src/Util/ListUtil.v | |
| parent | 08b7ea3d496a63c9e4f6d99bd5437da1f6987558 (diff) | |
Partially flesh out [freeze] proofs; also parameterize [sqrt_5mod8] over implementations of [mul] and [pow] so bounds can be threaded through
Diffstat (limited to 'src/Util/ListUtil.v')
0 files changed, 0 insertions, 0 deletions