A formalization of Pratt's Prime Number Certificates in Isabelle
This formalization is now available in the AFP and will be maintained there:
noschinl/pratt
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A formalization of Pratt's Prime Number Certificates in Isabelle
This formalization is now available in the AFP and will be maintained there: