diff options
author | 2016-10-31 21:19:14 -0400 | |
---|---|---|
committer | 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