A PVS Library on Infinitude of Primes
Abstract: In this talk, we will discuss the formalization of a library of mechanizations in PVS of different proofs of the infinitude of primes based on techniques from various areas of mathematics. It contains the formalizations of the proofs selected ...