ACL2(ml): machine-learning for ACL2

DOI10.4204/EPTCS.152.5MaRDI QIDQ6589548zbMATH OpenFDO

Authors Jónathan Heras, Ekaterina Komendantskaya

Publication date 19 August 2024

Full work available at URL https://doi.org/10.4204/EPTCS.152.5

Mathematics Subject Classification ID

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

Recommendations

• Proof-pattern recognition and lemma discovery in ACL2
• ACL2s: ``the ACL2 sedan
• An ACL2 Tutorial
• How can I do that with ACL2? Recent enhancements to ACL2
• Milestones from the Pure Lisp Theorem Prover to ACL2

Cited in

(1)

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

This page was built for publication: ACL2(ml): machine-learning for ACL2

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