diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 89404292d..fac637589 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,3 +1,6 @@ -R src Crypto -R fiat/src Fiat +src/Galois/GaloisField.v +src/Galois/GaloisFieldTheory.v src/Curves/Curve25519.v +src/Assembly/Assembly.v |