University of Cambridge > Talks.cam > Computer Laboratory Automated Reasoning Group Lunches > An ACL2 Tutorial
Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Thomas Tuerk.
a demo of ACL2
This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.
Note that ex-directory lists are not shown.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity