sci-mathematics / acl2

Industrial strength theorem prover, logic and programming language

Official package sites : https://github.com/acl2/acl2/ · https://www.cs.utexas.edu/users/moore/acl2/ ·

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.

v8.5-r1 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~x86
USE flags
doc emacs

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
emacs
Add support for GNU Emacs

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

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>