Math.NumberTheory.Primes.Testing.Certificates
data Certificate
argueCertificate
data CompositenessProof
composite
data PrimalityProof
cprime
data CompositenessArgument
data PrimalityArgument
arguePrimality
argueCompositeness
verifyPrimalityArgument
verifyCompositenessArgument
certify
checkCertificate
checkCompositenessProof
checkPrimalityProof