これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの 2 つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド aclXNUMX です。
プログラム：
NAME
acl2 - 計算ロジック
SYNOPSIS
acl2
DESCRIPTION
このマニュアルページでは、 acl2 指図。 このマニュアルページは、
元のプログラムにはマニュアルページがないため、Debian GNU / Linuxディストリビューション。
代わりに、HTML 形式だけでなく GNU Info 形式でもドキュメントが含まれています。 これらは
acl2-doc パッケージに含まれています。 ドキュメントはプロジェクトの次の場所にもあります。
ウェブサイト、 http://www.cs.utexas.edu/users/moore/acl2HTML形式とポストスクリプトの両方で。
onworks.net サービスを使用してオンラインで acl2 を使用する
