معرفی شرکت ها

acl2-source_8.5dfsg-5_all.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: source files
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main all
نام بسته acl2-source
نام فایل بسته acl2-source_8.5dfsg-5_all.deb
نسخه بسته 8.5dfsg
انتشار بسته 5
معماری بسته all
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.cs.utexas.edu/users/moore/acl2/
مجوز -
حجم دانلود 3587888
حجم نصب 18837
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the lisp source files to the main ACL2 binary.


نیازمندی

مقدار نام
>= 6.13 tex-common


نحوه نصب


نصب پکیج deb acl2-source:

    sudo apt-get install acl2-source_8.5dfsg-5_all.deb


فایل ها

مسیرها
./usr/share/acl2-8.5dfsg/TAGS
./usr/share/acl2-8.5dfsg/acl2-check.lisp
./usr/share/acl2-8.5dfsg/acl2-fns.lisp
./usr/share/acl2-8.5dfsg/acl2-init.lisp
./usr/share/acl2-8.5dfsg/acl2-proclaims.lisp
./usr/share/acl2-8.5dfsg/acl2.lisp
./usr/share/acl2-8.5dfsg/acl2r.lisp
./usr/share/acl2-8.5dfsg/akcl-acl2-trace.lisp
./usr/share/acl2-8.5dfsg/allegro-acl2-trace.lisp
./usr/share/acl2-8.5dfsg/apply-constraints.lisp
./usr/share/acl2-8.5dfsg/apply-prim.lisp
./usr/share/acl2-8.5dfsg/apply-raw.lisp
./usr/share/acl2-8.5dfsg/apply.lisp
./usr/share/acl2-8.5dfsg/axioms.lisp
./usr/share/acl2-8.5dfsg/basis-a.lisp
./usr/share/acl2-8.5dfsg/basis-b.lisp
./usr/share/acl2-8.5dfsg/bdd.lisp
./usr/share/acl2-8.5dfsg/boot-strap-pass-2-a.lisp
./usr/share/acl2-8.5dfsg/boot-strap-pass-2-b.lisp
./usr/share/acl2-8.5dfsg/defpkgs.lisp
./usr/share/acl2-8.5dfsg/defthm.lisp
./usr/share/acl2-8.5dfsg/defuns.lisp
./usr/share/acl2-8.5dfsg/doc.lisp
./usr/share/acl2-8.5dfsg/futures-raw.lisp
./usr/share/acl2-8.5dfsg/history-management.lisp
./usr/share/acl2-8.5dfsg/hons-raw.lisp
./usr/share/acl2-8.5dfsg/hons.lisp
./usr/share/acl2-8.5dfsg/induct.lisp
./usr/share/acl2-8.5dfsg/init.lisp
./usr/share/acl2-8.5dfsg/interface-raw.lisp
./usr/share/acl2-8.5dfsg/ld.lisp
./usr/share/acl2-8.5dfsg/linear-a.lisp
./usr/share/acl2-8.5dfsg/linear-b.lisp
./usr/share/acl2-8.5dfsg/mcl-acl2-startup.lisp
./usr/share/acl2-8.5dfsg/memoize-raw.lisp
./usr/share/acl2-8.5dfsg/memoize.lisp
./usr/share/acl2-8.5dfsg/multi-threading-raw.lisp
./usr/share/acl2-8.5dfsg/non-linear.lisp
./usr/share/acl2-8.5dfsg/openmcl-acl2-trace.lisp
./usr/share/acl2-8.5dfsg/other-events.lisp
./usr/share/acl2-8.5dfsg/other-processes.lisp
./usr/share/acl2-8.5dfsg/parallel-raw.lisp
./usr/share/acl2-8.5dfsg/parallel.lisp
./usr/share/acl2-8.5dfsg/proof-builder-a.lisp
./usr/share/acl2-8.5dfsg/proof-builder-b.lisp
./usr/share/acl2-8.5dfsg/proof-builder-pkg.lisp
./usr/share/acl2-8.5dfsg/prove.lisp
./usr/share/acl2-8.5dfsg/rewrite.lisp
./usr/share/acl2-8.5dfsg/serialize-raw.lisp
./usr/share/acl2-8.5dfsg/serialize.lisp
./usr/share/acl2-8.5dfsg/simplify.lisp
./usr/share/acl2-8.5dfsg/tau.lisp
./usr/share/acl2-8.5dfsg/translate.lisp
./usr/share/acl2-8.5dfsg/type-set-a.lisp
./usr/share/acl2-8.5dfsg/type-set-b.lisp
./usr/share/doc/acl2-source/changelog.Debian.gz
./usr/share/doc/acl2-source/copyright