-
Notifications
You must be signed in to change notification settings - Fork 18
/
Copy path_CoqProject
44 lines (43 loc) · 1.27 KB
/
_CoqProject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
-R src/Coqprime Coqprime
src/Coqprime/Tactic/Tactic.v
src/Coqprime/N/NatAux.v
src/Coqprime/N/ChineseRem.v
src/Coqprime/List/Iterator.v
src/Coqprime/List/ListAux.v
src/Coqprime/List/Permutation.v
src/Coqprime/List/UList.v
src/Coqprime/List/ZProgression.v
src/Coqprime/Z/Pmod.v
src/Coqprime/Z/ZCAux.v
src/Coqprime/Z/Zmod.v
src/Coqprime/Z/Ppow.v
src/Coqprime/Z/ZCmisc.v
src/Coqprime/Z/ZSum.v
src/Coqprime/PrimalityTest/Cyclic.v
src/Coqprime/PrimalityTest/EGroup.v
src/Coqprime/PrimalityTest/Euler.v
src/Coqprime/PrimalityTest/FGroup.v
src/Coqprime/PrimalityTest/IGroup.v
src/Coqprime/PrimalityTest/Lagrange.v
src/Coqprime/PrimalityTest/LucasLehmer.v
src/Coqprime/PrimalityTest/Pepin.v
src/Coqprime/PrimalityTest/PGroup.v
src/Coqprime/PrimalityTest/PocklingtonCertificat.v
src/Coqprime/PrimalityTest/Pocklington.v
src/Coqprime/PrimalityTest/Proth.v
src/Coqprime/PrimalityTest/Root.v
src/Coqprime/PrimalityTest/Zp.v
src/Coqprime/elliptic/GZnZ.v
src/Coqprime/elliptic/SMain.v
src/Coqprime/elliptic/ZEll.v
src/Coqprime/num/Bits.v
src/Coqprime/num/Int63Compat.v
src/Coqprime/num/Lucas.v
src/Coqprime/num/NEll.v
src/Coqprime/num/MEll.v
src/Coqprime/num/Mod_op.v
src/Coqprime/num/Pock.v
src/Coqprime/num/montgomery.v
src/Coqprime/num/W.v
src/Coqprime/examples/BasePrimes.v
src/Coqprime/examples/PocklingtonRefl.v