diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-02-21 18:01:18 -0500 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-03-02 13:37:14 -0500 |
commit | f5c6a57c1453249aac448a33ac3443e45a0d3222 (patch) | |
tree | 72919ee54472c746feab4b51898095ae5caad768 /src/ModularArithmetic/Pow2Base.v | |
parent | c1c764ead6291e25f6da3508f1ae2b46c1e574d4 (diff) |
rewrite ExtendedCoordinates, fix Ed25519
Diffstat (limited to 'src/ModularArithmetic/Pow2Base.v')
0 files changed, 0 insertions, 0 deletions