Gentoo Portage Overlays - sci-mathematics/acl2

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/acl2

Industrial strength theorem prover, logic and programming language

Screenshots

acl2-8.5_p20240307

~amd64 ~x86

doc emacs

View

Download

Browse License: BSD

Overlay: gentoo

acl2-8.5-r2

~amd64 ~x86

doc emacs

View

Download

Browse License: BSD

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

doc

Global: Adds extra documentation (API, Javadoc, etc)

emacs

Global: Adds support for GNU Emacs