Acl2

Interpreter and prover for a Lisp dialect

Projekt Webseite

Installation methods

Open it in a graphical application? In development

Kanal:

unstable

Version:

8.6

Unterstützt:

Ja

broken:

Nein

Lizenz:

Proprietary

Plattformen:

78