diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e0264a985..e0ce264fd 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,5 +1,7 @@ -R src Crypto +src/BoundedIterOp.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v +src/CompleteEdwardsCurve/DoubleAndAdd.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v src/Curves/PointFormats.v |