Pub-summary
About ACL2: Quick Summary of What Can Be Done and How to Learn ACL2
This
link will take you to a page on which you can find:
- a brief paper about ACL2 and applications;
- exercises, which provide the best way to learn ACL2;
- a paper with lots of tips on how to program and prove theorems
with ACL2; and
- additional tutorial material, including notes in Spanish and
slides by Inmaculada Medina Bulo and Francisco Palomo Lozano.
