معرفی شرکت ها

libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Micromega arithmetic solvers for Mathematical Components
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته libcoq-mathcomp-zify
نام فایل بسته libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_s390x.deb
نسخه بسته 1.2.0+1.12+8.13
انتشار بسته 6+b4
معماری بسته s390x
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/math-comp/mczify
مجوز -
حجم دانلود 228720
حجم نصب 1230
This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_amd64.deb 1.2.0+1.12+8.13 amd64 Debian main
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_arm64.deb 1.2.0+1.12+8.13 arm64 Debian main
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_armhf.deb 1.2.0+1.12+8.13 armhf Debian main
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_i386.deb 1.2.0+1.12+8.13 i386 Debian main
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_ppc64el.deb 1.2.0+1.12+8.13 ppc64el Debian main


نیازمندی

مقدار نام
- libcoq-mathcomp-algebra-skso8


نحوه نصب


نصب پکیج deb libcoq-mathcomp-zify:

    sudo apt-get install libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_s390x.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.glob
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/ssrZ.vo
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.glob
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify.vo
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.glob
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_algebra.vo
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/zify/zify_ssreflect.vo
./usr/share/doc/libcoq-mathcomp-zify/README.md
./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.gz
./usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.s390x.gz
./usr/share/doc/libcoq-mathcomp-zify/copyright
./usr/share/doc/libcoq-mathcomp-zify/examples/boolean.v
./usr/share/doc/libcoq-mathcomp-zify/examples/divmod.v
./usr/share/doc/libcoq-mathcomp-zify/examples/test_algebra.v
./usr/share/doc/libcoq-mathcomp-zify/examples/test_ssreflect.v
./usr/share/doc/libcoq-mathcomp-zify/examples/zagier.v
./var/lib/coq/md5sums/libcoq-mathcomp-zify.checksum