Comment Comment by Gajurgensen ACL2 has a documentation page for the theorems from this list proved: https://www.cs.utexas.edu/users/moore/acl2/manuals/latest/in...A couple of theorems have actually been proved but not yet reported/counted. parent Gajurgensen 3 years ago
A couple of theorems have actually been proved but not yet reported/counted.