gentoo.mahdi.cz
sci-mathematics
:acl2
Industrial strength theorem prover, logic and programming language
acl2-8.5_p20240307
BSD
download
~amd64 ~x86
gentoo
acl2-8.5-r2
BSD
download
~amd64 ~x86
gentoo
acl2-2.8
GPL-2
download
~x86
bgo