gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/acl2

Industrial strength theorem prover, logic and programming language

Screenshots

Runtime Dependencies

acl2-8.5_p20240307

<=dev-lisp/sbcl-2.4.1:=

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

acl2-8.5-r2

<=dev-lisp/sbcl-2.4.1:=

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