diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2015-10-25 10:17:50 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2015-10-25 10:33:21 -0400 |
| commit | e3c245f7af1df45b2666b5570c1c4b87c298477c (patch) | |
| tree | a672cb07849cd2004c0c625d39bde1d46f01677d /_CoqProject | |
| parent | 1aa532bf509f72e2e083743e35a97d271da9009f (diff) | |
positional number system equivalence transcribed from pencil-and-paper proofs by <jadep@mit.edu>
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 9c07ea0dd..d749c5418 100644 --- a/_CoqProject +++ b/_CoqProject @@ -7,5 +7,6 @@ src/Galois/GaloisTheory.v src/Galois/AbstractGaloisField.v src/Galois/ComputationalGaloisField.v src/Galois/ZGaloisField.v +src/Galois/BaseSystem.v src/Curves/PointFormats.v src/Curves/Curve25519.v |