Recursion and Induction: A Self-Contained Course Using ACL2(acl2.org)
acl2.org
Recursion and Induction: A Self-Contained Course Using ACL2
https://acl2.org/doc/?topic=ACL2____R-AND-I-TABLE-OF-CONTENTS
0 comments
—
https://acl2.org/doc/?topic=ACL2____R-AND-I-TABLE-OF-CONTENTS
—