[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ ソース: acl2  ]

パッケージ: acl2-books-source (3.3-1.1)

Applicative Common Lisp 用計算論理: ライブラリのソース

ACL2 はコンピュータシステムのモデル化を行なえるプログラミング言語で あり、かつそのモデルの特性実験を補助してくれるツールでもあります。

本パッケージには、ACL2-books パッケージで提供されるコンパイル済ライ ブラリの lisp ソースファイルが含まれています。

タグ: ソフトウェア開発: インタプリタ, Lisp での開発, 実装言語: Lisp, ユーザインタフェース: テキストベースの対話, 役割: ソースコード, インタフェースツールキット: Ncurses TUI

その他の acl2-books-source 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: acl2 (>= 3.3-1.1)
    Applicative Common Lisp 用計算論理: メインバイナリ

acl2-books-source のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 2,498.7 kB18108 kB [ファイル一覧]