معرفی شرکت ها
libcoq-unimath_20220816-2+b1_arm64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
univalent formalization of mathematics for Coq
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main arm64 |
| نام بسته | libcoq-unimath |
| نام فایل بسته | libcoq-unimath_20220816-2+b1_arm64.deb |
| نسخه بسته | 20220816 |
| انتشار بسته | 2+b1 |
| معماری بسته | arm64 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/UniMath/UniMath |
| مجوز | - |
| حجم دانلود | 40758652 |
| حجم نصب | 358345 |
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-unimath_20220816-2+b1_amd64.deb | 20220816 | amd64 | Debian main |
| libcoq-unimath_20220816-2+b1_armhf.deb | 20220816 | armhf | Debian main |
| libcoq-unimath_20220816-2+b1_i386.deb | 20220816 | i386 | Debian main |
| libcoq-unimath_20220816-2+b1_ppc64el.deb | 20220816 | ppc64el | Debian main |
| libcoq-unimath_20220816-2+b1_s390x.deb | 20220816 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libcoq-stdlib-ctiy2 |
نحوه نصب
نصب پکیج deb libcoq-unimath:
sudo apt-get install libcoq-unimath_20220816-2+b1_arm64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/All.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/All.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/All.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Apartness.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Apartness.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Apartness.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Archimedean.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Archimedean.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Archimedean.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/BinaryOperations.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/BinaryOperations.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/BinaryOperations.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/ConstructiveStructures.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/ConstructiveStructures.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/ConstructiveStructures.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Dcpo.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Dcpo.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Dcpo.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/DivisionRig.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/DivisionRig.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/DivisionRig.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Domains_and_Fields.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Domains_and_Fields.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Domains_and_Fields.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/FixedPointTheorems.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/FixedPointTheorems.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/FixedPointTheorems.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Free_Monoids_and_Groups.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Free_Monoids_and_Groups.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Free_Monoids_and_Groups.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/GroupAction.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/GroupAction.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/GroupAction.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Groups.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Groups.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Groups.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/IteratedBinaryOperations.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/IteratedBinaryOperations.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/IteratedBinaryOperations.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Lattice.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Lattice.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Lattice.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Matrix.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Matrix.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Matrix.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Modules/Core.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Modules/Core.v |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Modules/Core.vo |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Modules/Examples.glob |
| ./usr/lib/ocaml/coq/user-contrib/UniMath/Algebra/Modules/Examples.v |
| ... and 2082 more |