Robuta

https://apacz.matinf.uj.edu.pl/publikacje/6759-a_polytime_proof_of_correctness_of_the_rabin_miller_algorithm_from_fermat_s_little_theorem Wydział Matematyki i Informatyki - A polytime proof of correctness of the Rabin-Miller algorithm... proof of correctness rabin miller polytime algorithm