gentoo.mahdi.cz

  

sci-mathematics:acl2


Industrial strength theorem prover, logic and programming language

acl2-8.5_p20240307BSD
download~amd64 ~x86gentoo
acl2-8.5-r2BSD
download~amd64 ~x86gentoo
acl2-2.8GPL-2
download~x86bgo