معرفی شرکت ها
libcoq-math-classes_8.15.0-4+b1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Abstract interfaces for mathematical structures for Coq
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main amd64 |
| نام بسته | libcoq-math-classes |
| نام فایل بسته | libcoq-math-classes_8.15.0-4+b1_amd64.deb |
| نسخه بسته | 8.15.0 |
| انتشار بسته | 4+b1 |
| معماری بسته | amd64 |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://github.com/coq-community/math-classes |
| مجوز | - |
| حجم دانلود | 2971664 |
| حجم نصب | 13350 |
This library provides abstract interfaces for mathematical
structures for Coq, such as:
- algebraic hierarchy (groups, rings, fields, ...)
- relations, orders, ...
- Categories, functors, universal algebra, ...
- Numbers: N, Z, Q, ...
- Operations (shift, power, abs, ...).
.
Coq is a proof assistant for higher-order logic.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libcoq-math-classes_8.15.0-4+b1_arm64.deb | 8.15.0 | arm64 | Debian main |
| libcoq-math-classes_8.15.0-4+b1_armhf.deb | 8.15.0 | armhf | Debian main |
| libcoq-math-classes_8.15.0-4+b1_i386.deb | 8.15.0 | i386 | Debian main |
| libcoq-math-classes_8.15.0-4+b1_ppc64el.deb | 8.15.0 | ppc64el | Debian main |
| libcoq-math-classes_8.15.0-4+b1_s390x.deb | 8.15.0 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | libcoq-bignums-u3wh0 |
| - | libcoq-stdlib-ewsr6 |
نحوه نصب
نصب پکیج deb libcoq-math-classes:
sudo apt-get install libcoq-math-classes_8.15.0-4+b1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/JMcat.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/JMcat.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/JMcat.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/algebras.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/algebras.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/algebras.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/categories.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/categories.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/categories.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/dual.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/dual.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/dual.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/empty.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/empty.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/empty.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/functors.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/functors.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/functors.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/orders.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/orders.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/orders.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/product.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/product.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/product.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/setoids.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/setoids.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/setoids.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/unit.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/unit.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/unit.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/varieties.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/varieties.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/categories/varieties.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/functors/constant.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/functors/constant.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/functors/constant.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/NType_naturals.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/NType_naturals.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/NType_naturals.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/QType_rationals.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/QType_rationals.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/QType_rationals.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/ZType_integers.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/ZType_integers.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/ZType_integers.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/bool.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/bool.v |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/bool.vo |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/dyadics.glob |
| ./usr/lib/ocaml/coq/user-contrib/MathClasses/implementations/dyadics.v |
| ... and 342 more |