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

パッケージ: acl2-infix-source (3.1-1)

Applicative Common Lisp 用計算論理: infix ソース

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

本パッケージには ACL2 への infix インターフェイスへのソースファイルが 含まれます。

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

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