blob: 7ad7485173caf78268aed6229f0acc97a51d1338 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-I ../Tactic
-I ../N
-I ../Z
-I ../PrimalityTest
-I ../List
-I ../elliptic
-I ../num
BasePrimes.v
PocklingtonRefl.v
TestLucas.v
prime216656403549020227250327256032933021325435259861468456540459488823774358486649614451547405419273433458932168893949521787.v
prime329719147332060395689499.v
russell1.v
russell2.v
|
