Enhancements to ACL2 in versions 5.0, 6.0, and 6.1

DOI10.4204/EPTCS.114.1zbMATH Open1542.68212MaRDI QIDQ6587250FDOQ6587250

Authors: Matt Kaufmann, J Strother Moore 

Publication date: 13 August 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• How can I do that with ACL2? Recent enhancements to ACL2

Cited In (2)

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

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)