Summary
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". ACL2 is part of the Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award.
Versions
v8.5-r1 :: 0 :: gentoo
- Modified
- License
- BSD
- Keywords
- ~amd64 ~x86
- USE flags
- doc emacs
USE flags
General
Runtime Dependencies
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
dev-lisp / sbcl : Steel Bank Common Lisp (SBCL) is an implementation of ANSI Common Lisp
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/acl2: need to rebuild ACL2 "core" on sbcl update
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/acl2: install TAGS if USE=emacs
Closes: https://bugs.gentoo.org/890176 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/acl2: new package; add 8.5
Signed-off-by: Maciej Barć <xgqt@gentoo.org>