Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Recursion and Induction: A Self-Contained Course Using ACL2 (acl2.org)
2 points by nathan-barry 14 hours ago | past | discuss

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: