2024年10月31日
ACL2 定理证明器的安装
摘要： 在Ubuntu 22.04.1 安装acl2（“A Computational Logic for Applicative Common Lisp".） 安装环境如下所示： Linux ubun 6.8.0-47-generic #47~22.04.1-Ubuntu SMP PREEMPT_DYNA 阅读全文
posted @ 2024-10-31 10:55 沉迷xs 阅读(6) 评论(0) 推荐(0) 编辑