Coqprime-Tools

• firstprimes(1) primality certification for the first primes
• o2v(1) convert a primo certificate into a Coq proof
• pocklington(1) generate a Pocklington primality certificate for a prime number