diff options
author | 2016-09-23 22:29:16 -0400 | |
---|---|---|
committer | 2016-09-23 22:30:40 -0400 | |
commit | a4d5dfeb5e6b5eb9289ecb6643c4ba747dde97ca (patch) | |
tree | 52f4e3cb2e2b25301df49d69307094ed6637c4a0 /src/Test/Curve25519SpecTestVectors.v | |
parent | ce52efb544820b5ce88091cc68c94a3128c7bdd7 (diff) |
Finished remaining admits in [freeze] proofs
Diffstat (limited to 'src/Test/Curve25519SpecTestVectors.v')
0 files changed, 0 insertions, 0 deletions