标签： acl2
如何在ACL2中禁用跳过证明警告？包括故意有大量跳过证明的书籍可能非常冗长。
答案 0 :(得分：0)
您可以提交以下内容。
(set-inhibit-warnings "skip-proofs")
您可能希望将其放在〜/ acl2-customization.lisp文件中。