diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-15 12:35:37 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:39:05 -0400 |
| commit | 69881f87475520b3b29147cc60572b65b3f67174 (patch) | |
| tree | 9d31a228de859ef228ba574121240bd577109dc6 /_CoqProject | |
| parent | 32185540daa1dff26df9babc4218d2571c6154cf (diff) | |
CompleteEdwardsCurve: unifiedAddM1: Closed Under Global Context
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index bda8f5178..12fa2607d 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,5 +1,6 @@ -R src Crypto src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v +src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v src/Curves/PointFormats.v src/Curves/ScalarMult.v |