diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-28 16:33:06 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:42:16 -0400 |
| commit | 8f77ab8ace0f63beedff8588c4bf79d502b3107d (patch) | |
| tree | d604e71b506d0b8069afe687974d271c87071017 /_CoqProject | |
| parent | 93ffda26d4b9caf243a9e71a18d6e2e254a960e9 (diff) | |
ModularArithmetic: [field] tactic that respects opacity, prettify ExtendedCoordinates, outline Edwards curve associativity
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index c1a88976f..3adab537f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -7,6 +7,7 @@ src/CompleteEdwardsCurve/DoubleAndAdd.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v src/Encoding/EncodingTheorems.v +src/ModularArithmetic/FField.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v src/ModularArithmetic/Pre.v |