ACL2 Version 7.0 certificate files

Below are links to directories with files listing all books certified using the host Lisp indicated in each filename, as discussed in the performance statistics.

• ACL2 (that is, ACL2(h))
• ACL2(c)