Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Matt Kaufmann
Researcher
PaperHow Can I Do That with ACL2? Recent Enhancements to ACL2Authorship / preprint / 2011PaperEnhancements to ACL2 in Versions 5.0, 6.0, and 6.1Authorship / preprint / 2013PaperEnhancements to ACL2 in Versions 6.2, 6.3, and 6.4Authorship / preprint / 2014PaperProceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its ApplicationsAuthorship / preprint / 2015PaperIndustrial-Strength Documentation for ACL2Authorship / preprint / 2014PaperFourier Series Formalization in ACL2(r)Authorship / preprint / 2015PaperLargest initial segments pointwise fixed by automorphisms of models of set theoryAuthorship / preprint / 2016PaperIntegrating Testing and Interactive Theorem ProvingAuthorship / preprint / 2011