Formalizing a Diophantine Representation of the Set of Prime Numbers.

Karol Pak, Cezary Kaliszyk

Browse the full ITP paper archive.