[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.