Fix your types

DOI10.4204/EPTCS.192.2MaRDI QIDQ6591102zbMATH OpenFDO

Authors Sol Swords, Jared Davis

Publication date 21 August 2024

Mathematics Subject Classification ID

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

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

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)