gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/acl2

Industrial strength theorem prover, logic and programming language

Screenshots

Runtime Dependencies

acl2-8.6

dev-lisp/sbcl:=

emacs?
      ( >=app-editors/emacs-25:* )

acl2-8.5_p20240307-r1

dev-lisp/sbcl:=

emacs?
      ( >=app-editors/emacs-25:* )