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

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

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)

Cites Work

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

Related Items (3)

Enhancements to ACL2 in versions 5.0, 6.0, and 6.1 ⋮ A macro for reusing abstract functions and theorems ⋮ Verified AIG algorithms in ACL2

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)