19/05/202513:30 - 14:30RISC, Hagenberg
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 ...