diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:01:29 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-20 02:01:29 -0400 |
| commit | 2d7d0872895639be94f6b274bbe2ef05044bd6db (patch) | |
| tree | 6132783cbb4eceece2530c913c1fff3f3523d5cb /_CoqProject | |
| parent | ce51a8e4b5c03178a08b7cd0e5bd34bae2fdf4a0 (diff) | |
port EdDSA spec
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions