diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 000000000..55b29744f --- /dev/null +++ b/_CoqProject @@ -0,0 +1,21 @@ +-R src Crypto +src/Curves/PointFormats.v +src/Curves/ScalarMult.v +src/Galois/BaseSystem.v +src/Galois/EdDSA.v +src/Galois/Galois.v +src/Galois/GaloisField.v +src/Galois/GaloisRep.v +src/Galois/GaloisTheory.v +src/Galois/GaloisTutorial.v +src/Galois/ModularBaseSystem.v +src/Rep/ECRep.v +src/Rep/GaloisRep.v +src/Specific/EdDSA25519.v +src/Specific/GF25519.v +src/Tactics/VerdiTactics.v +src/Util/CaseUtil.v +src/Util/ListUtil.v +src/Util/NatUtil.v +src/Util/NumTheoryUtil.v +src/Util/ZUtil.v |