Fix your types

DOI10.4204/EPTCS.192.2MaRDI QIDQ6591102FDOQ6591102

Authors: Sol Swords, Jared Davis 

Publication date: 21 August 2024

Recommendations

• A few exercises in theorem processing
• Polymorphic types in ACL2
• An ACL2 Tutorial
• Dependent types ensure partial correctness of theorem provers
• scientific article; zbMATH DE number 559219

Mathematics Subject Classification ID

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

This page was built for publication: Fix your types

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