معرفی شرکت ها
libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Coq tactics for reasoning modulo AC (devt files)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | libaac-tactics-ocaml-dev |
| نام فایل بسته | libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb |
| نسخه بسته | 8.6.1 |
| انتشار بسته | 2 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/coq-contribs/aac-tactics |
| مجوز | - |
| حجم دانلود | 37684 |
| حجم نصب | 413 |
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the static native-code library, needed to build
custom toplevels, and the compiled interfaces.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libaac-tactics-ocaml-dev_8.6.1-2_i386.deb | 8.6.1 | i386 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| - | camlp5-ps9p6 |
| - | libaac-tactics-ocaml-c0vr8 |
| - | libcoq-ocaml-dev-ywd98 |
| - | ocaml-nox-4.05.0 |
نحوه نصب
نصب پکیج deb libaac-tactics-ocaml-dev:
sudo apt-get install libaac-tactics-ocaml-dev_8.6.1-2_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/aac_rewrite.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/coq.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/coq.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/helper.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/helper.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/matcher.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/print.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/print.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli |
| ./usr/lib/coq/user-contrib/AAC_tactics/theory.cmi |
| ./usr/lib/coq/user-contrib/AAC_tactics/theory.mli |
| ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz |
| ./usr/share/doc/libaac-tactics-ocaml-dev/copyright |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Aac_rewrite.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html |
| ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html |
| ... and 40 more |