How can I do that with ACL2? Recent enhancements to ACL2

DOI10.4204/eptcs.70.4zbMATH Open1542.68211MaRDI QIDQ6586531FDOQ6586531

Authors: Matt Kaufmann, J Strother Moore 

Publication date: 13 August 2024

Recommendations

• Enhancements to ACL2 in versions 5.0, 6.0, and 6.1
• Milestones from the Pure Lisp Theorem Prover to ACL2
• ACL2(ml): machine-learning for ACL2
• An ACL2 Tutorial
• Meta-extract: using existing facts in meta-reasoning

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Title not available (Why is that?)
• Integrating testing and interactive theorem proving

Cited In (5)

• A macro for reusing abstract functions and theorems
• Enhancements to ACL2 in versions 5.0, 6.0, and 6.1
• Verified AIG algorithms in ACL2
• ACL2(ml): machine-learning for ACL2
• Meta-extract: using existing facts in meta-reasoning

This page was built for publication: How can I do that with ACL2? Recent enhancements to ACL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6586531)