Gentoo Portage Overlays - sci-mathematics/acl2

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

sci-mathematics/acl2

Industrial strength theorem prover

Screenshots

http://www.cs.utexas.edu/users/moore/acl2/

acl2-8.3

~amd64 ~x86

books

View

Download

Browse License: BSD

Overlay: science (layman)

acl2-7.1

~amd64 ~x86

books

View

Download

Browse License: BSD

Overlay: science (layman)

acl2-2.8

~x86

View

Download

Browse License: GPL-2

Overlay: bgo-overlay (outside)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs