An ACL2 Tutorial

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_4 ◽

2008 ◽

pp. 17-21 ◽

Author(s):

Matt Kaufmann ◽

J Strother Moore

Download Full-text