Theory extension in ACL2(r)

DOI10.1007/s10817-006-9043-0zbMath1118.68651OpenAlexW2080350563MaRDI QIDQ2642461

Ruben A. Gamboa, John Cowles

Publication date: 17 August 2007

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-006-9043-0

zbMATH Keywords

theorem prover

Mathematics Subject Classification ID

Uses Software

• ACL2
• NQTHM

Cites Work

• Structured theory development for a mechanized logic
• Nonstandard analysis in practice
• Internal set theory: A new approach to nonstandard analysis
• Nonstandard analysis in ACL2
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Theory extension in ACL2(r)