📦 coqprime-tools

F

• firstprimes(1)primality certification for the first primes✨

O

• o2v(1)convert a primo certificate into a Coq proof✨

P

• pocklington(1)generate a Pocklington primality certificate for a prime number✨