Advances in ACL2 Proof Debugging Tools
-
Published:2023-11-14
Issue:
Volume:393
Page:67-81
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Author:
Kaufmann Matt1,
Moore J Strother1
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference4 articles.
1. Iteration in ACL2;Kaufmann;Electronic Proceedings in Theoretical Computer Science,2020