acl2:社区维护的ACL2系统和书籍

【文件属性】：
文件名称：acl2:社区维护的ACL2系统和书籍
文件大小：204.61MB
文件格式：ZIP
更新时间：2021-04-12 17:35:21
common-lisp logic theorem-proving first-order-logic formal-methods ACL2系统和社区书籍 警告：在极少数情况下，ACL2的开发版本可能不完整，脆弱或无法通过常规回归测试。 您可以选择下载ACL2官方发行版，如本自述文件中的或以下所述。 ACL2定理证明环境由两部分组成：ACL2系统和ACL2书籍。 该存储库包含两者。 ACL2系统 包含的ACL2系统版本是的最新，开发中的版本。 它仅由ACL2的作者Matt Kaufmann和J Moore进行更新。 ACL2书籍 该存储库的books/目录包含Community Books，它们是ACL2系统的开源库的规范集合。 顾名思义，它们是由ACL2社区更新的。 文献资料 《 包含有关最新稳定版本的ACL2以及随附的许多社区书籍的大量文档。 该手册还有一个，该定期进行更新，并与ACL2及其书籍的开发版本相对应。 最后，还有更紧凑，该仅记录了ACL2系统本身，没有任何书籍。 在浏览手册时，单击上部工具栏右侧