Acl2

Interpreter and prover for a Lisp dialect

專案網站

安裝方式

在圖形化介面 (GUI) 中開啓？ 開發中

發行通道:

unstable

版本:

8.6

支援:

是

故障:

否

授權類型:

私有授權

平台:

78