Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/acl2
Industrial strength theorem prover, logic and programming language
Screenshots
https://www.cs.utexas.edu/users/moore/acl2/
https://github.com/acl2/acl2/
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
View
Download
Browse