Descrição
ACL2 é tanto uma linguagem de programação na qual você pode modelar sistemas de computador quanto uma ferramenta para ajudar você a provar propriedades desses modelos.
Este arquivo contém registros de certificação para as várias bibliotecas pré-compiladas fornecidas no pacote ACL2-books. ACL2 exige essencialmente que todos os livros incluídos sejam certificados antes do uso.