Mario Carneiro

Identifiers

• name variant Mario Carneiro 0.60 · backfill

Papers (8)

1. Specifying verified x86 software from scratch cs.LO · 2019 · author #1
2. Formalizing computability theory via partial recursive functions cs.LO · 2018 · author #1
3. A Lean formalization of Matiyasevi\v{c}'s Theorem math.LO · 2018 · author #1
4. Formalization of the prime number theorem and Dirichlet's theorem math.LO · 2016 · author #1
5. Models for Metamath math.LO · 2016 · author #1
6. GCH implies AC, a Metamath Formalization math.LO · 2015 · author #1
7. Arithmetic in Metamath, Case Study: Bertrand's Postulate math.LO · 2015 · author #1
8. Conversion of HOL Light proofs into Metamath cs.LO · 2014 · author #1

Mentions

• 1506.03533 #1 · backfill · confidence 0.70 Mario Carneiro
• 1503.02349 #1 · backfill · confidence 0.70 Mario Carneiro
• 1412.8091 #1 · backfill · confidence 0.70 Mario Carneiro