معرفی شرکت ها

acl2-books-certs_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: library certificates
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main all
نام بسته acl2-books-certs
نام فایل بسته acl2-books-certs_8.5dfsg-5_all.deb
نسخه بسته 8.5dfsg
انتشار بسته 5
معماری بسته all
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://www.cs.utexas.edu/users/moore/acl2/
مجوز -
حجم دانلود 178375056
حجم نصب 661910
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 file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.


نیازمندی

مقدار نام
>= 8.5dfsg-5 acl2
>= 6.13 tex-common


نحوه نصب


نصب پکیج deb acl2-books-certs:

    sudo apt-get install acl2-books-certs_8.5dfsg-5_all.deb