diff options
| author |  jadep <jade.philipoom@gmail.com> | 2017-06-12 22:37:30 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2017-06-12 22:37:37 -0400 |
| commit | 3b1d3856b138d84cbb0429a6bcdaa9080233fa9b (patch) | |
| tree | a2c4d4241fa09bf8199cfc717d2e8d4edaa1954c /_CoqProject | |
| parent | 5085effb7df589bd346b43685889f077cbbb78f1 (diff) | |
finish computational portions of operations needed for Montgomery, and sketch out some of the proofs as discussed in #157
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions