Enhancements to ACL2 in versions 5.0, 6.0, and 6.1

DOI10.4204/EPTCS.114.1MaRDI QIDQ6587250zbMATH OpenFDO

Authors Matt Kaufmann, J Strother Moore

Publication date 13 August 2024

Mathematics Subject Classification ID

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

Recommendations

• How can I do that with ACL2? Recent enhancements to ACL2
• Milestones from the Pure Lisp Theorem Prover to ACL2
• An ACL2 Tutorial
• Proceedings of the seventeenth international workshop on the ACL2 theorem prover and its applications, Austin, Texas, USA, May 26--27, 2022
• Meta-extract: using existing facts in meta-reasoning

Cites work

• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• How can I do that with ACL2? Recent enhancements to ACL2

Cited in

(2)

• Meta-extract: using existing facts in meta-reasoning
• How can I do that with ACL2? Recent enhancements to ACL2

This page was built for publication: Enhancements to ACL2 in versions 5.0, 6.0, and 6.1

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