fp.
newest
Open in hackernews
Recursion and Induction: A Self-Contained Course Using ACL2
https://acl2.org/doc/?topic=ACL2____R-AND-I-TABLE-OF-CONTENTS
2
•
nathan-barry
•
3w ago