Acl2

Interpreter and prover for a Lisp dialect

プロジェクトサイト

インストール方法

GUIアプリケーションで開きますか？ 開発中

チャンネル:

unstable

バージョン:

8.6

対応:

はい

失効:

いいえ

ライセンス:

私有ソフト

プラットフォーム:

78