diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-31 21:19:14 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-11-02 15:23:46 -0400 |
| commit | d6fb871a0d9b96ec54f29a6f9c56a133bd9a0f77 (patch) | |
| tree | 06991057ac6847d9c885631918eef5bbecd66e2d /src/Specific/GF25519.v | |
| parent | e64d8b2d84bb564183a40bda7d1084dbad1d15fa (diff) | |
Progress proving ERepDec_correct (included tweaking preconditions for ModularBaseSystem sqrt_5mod8 proofs)
Diffstat (limited to 'src/Specific/GF25519.v')
0 files changed, 0 insertions, 0 deletions