6 citations · 13 across the 9 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016★ 1 cited
Formalization of the prime number theorem and Dirichlet's theorem
Mario Carneiro
We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which assert…
math.LO2016★ 2 cited
Models for Metamath
Mario Carneiro
Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Metamath formal system. We define the collection of mode…