Recursion and Induction: A Self-Contained Course Using ACL2acl2.org2 points·nathan-barry··0 commentsOpen articleSaveView on HN