Sciweavers

Share
TPHOL
2008
IEEE

An ACL2 Tutorial

8 years 8 months ago
An ACL2 Tutorial
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to provide ideas for other interactive theorem prover projects; and to elicit feedback on how we might incorporate features of other proof tools into ACL2.
Matt Kaufmann, J. Strother Moore
Related Content
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TPHOL
Authors Matt Kaufmann, J. Strother Moore
Comments (0)
books