معرفی شرکت ها

libaac-tactics-coq_8.6.1-2_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Coq tactics for reasoning modulo AC (theories)
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe all
نام بسته libaac-tactics-coq
نام فایل بسته libaac-tactics-coq_8.6.1-2_all.deb
نسخه بسته 8.6.1
انتشار بسته 2
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/coq-contribs/aac-tactics
مجوز -
حجم دانلود 220796
حجم نصب 1525
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.


نیازمندی

مقدار نام
>= 8.6.1-2 libaac-tactics-ocaml
- coq-8.6+4.05.0


نحوه نصب


نصب پکیج deb libaac-tactics-coq:

    sudo apt-get install libaac-tactics-coq_8.6.1-2_all.deb


فایل ها

مسیرها
./usr/lib/coq/user-contrib/AAC_tactics/AAC.v
./usr/lib/coq/user-contrib/AAC_tactics/AAC.vo
./usr/lib/coq/user-contrib/AAC_tactics/Caveats.v
./usr/lib/coq/user-contrib/AAC_tactics/Caveats.vo
./usr/lib/coq/user-contrib/AAC_tactics/Instances.v
./usr/lib/coq/user-contrib/AAC_tactics/Instances.vo
./usr/lib/coq/user-contrib/AAC_tactics/Tutorial.v
./usr/lib/coq/user-contrib/AAC_tactics/Tutorial.vo
./usr/share/doc/libaac-tactics-coq/README
./usr/share/doc/libaac-tactics-coq/copyright
./usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html
./usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html
./usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html
./usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html
./usr/share/doc/libaac-tactics-coq/theories/coqdoc.css
./usr/share/doc/libaac-tactics-coq/theories/index.html
./usr/share/doc/libaac-tactics-coq/theories/toc.html
./usr/share/doc-base/aac-tactics-theories
./usr/share/doc/libaac-tactics-coq/changelog.Debian.gz -> ../libaac-tactics-ocaml/changelog.Debian.gz