Matt Kaufmann

Identifiers

No identifiers captured yet.

Papers (5)

1. Meta-extract: Using Existing Facts in Meta-reasoning cs.LO · 2017 · author #1
2. Iterated Ultrapowers for the Masses math.LO · 2017 · author #2
3. Efficient Certified RAT Verification cs.LO · 2016 · author #4
4. Largest initial segments pointwise fixed by automorphisms of models of set theory math.LO · 2016 · author #2
5. Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ali Enayat 2 shared papers
• Zachiri McKenzie 2 shared papers
• David L. Rager 1 shared papers
• Lu\'is Cruz-Filipe 1 shared papers
• Marijn Heule 1 shared papers
• Peter Schneider-Kamp 1 shared papers
• Sol Swords 1 shared papers
• Warren Hunt 1 shared papers