Recursion and Induction: A Self-Contained Course Using ACL2 #1 Post by nathan-barry » Thu, Jan 15, 2026, 3:10 PM UTC Recursion and Induction: A Self-Contained Course Using ACL2acl2.org