This is an unofficial reimagining of the Archive of Formal Proofs
Probabilistic Primality Testingby Daniel Stüwe and Manuel Eberl