【发布时间】：2014-10-21 10:24:44
【问题描述】：
如何在 ACL2 中禁用跳过证明警告？包括故意跳过大量证明的书籍可能会非常冗长。
【问题讨论】：
标签： acl2
【发布时间】：2014-10-21 10:24:44
【问题描述】：
您可以提交以下内容。
(set-inhibit-warnings "skip-proofs")
您可能希望将它放在您的 ~/acl2-customization.lisp 文件中。
【讨论】：
【发布时间】：2014-10-21 10:24:44
【问题描述】：