Recursion and Induction: A Self-Contained Course Using ACL2

(acl2.org) by nathan-barry | Jan 15, 2026 | 0 comments on HN