ProvablePrimeQ — prove whether a number is prime or composite

PrimeQCertificate — give a certificate for primality or compositeness

PrimeQCertificateCheck — check whether a certificate is correct