Probabilistic Primality Testing. - Daniel Stüwe; Manuel Eberl (Arch. Formal Proofs, 2019)