A formalization of Pratt's Prime Number Certificates in Isabelle
This formalization is now available in the AFP and will be maintained there:
A formalization of Pratt's Prime Number Certificates in Isabelle
This formalization is now available in the AFP and will be maintained there: