Hacker News new | ask | show | jobs
Recursion and Induction: A Self-Contained Course Using ACL2 (acl2.org)
2 points by nathan-barry 158 days ago