diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-09-16 13:31:40 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-09-16 19:00:06 -0400 |
| commit | 1ea69cd53ff8472bb23c338d0e3fcac0a1f9ada5 (patch) | |
| tree | 14379b1df13a789daf454f29324661ebb85c9f0c /src/Util/PointedProp.v | |
| parent | 7d139ded819549c587b169e6ef54d411bc543cd4 (diff) | |
Derive EdDSA.verify from equational specification
Experiments/SpecEd25519 will come back soon
Diffstat (limited to 'src/Util/PointedProp.v')
0 files changed, 0 insertions, 0 deletions