0
Как отключить предупреждения пропусков в ACL2? Включение книг, умышленно имеющих много пропущенных доказательств, может быть довольно многословным.Отключить предупреждения пропусков в ACL2
Как отключить предупреждения пропусков в ACL2? Включение книг, умышленно имеющих много пропущенных доказательств, может быть довольно многословным.Отключить предупреждения пропусков в ACL2
Вы можете отправить следующее.
(set-inhibit-warnings "skip-proofs")
Возможно, вы захотите поместить его в свой файл ~/acl2-customization.lisp.