معرفی شرکت ها
libssreflect-coq_1.6.1-3build1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
small scale reflection library for Coq (theories)
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe all |
| نام بسته | libssreflect-coq |
| نام فایل بسته | libssreflect-coq_1.6.1-3build1_all.deb |
| نسخه بسته | 1.6.1 |
| انتشار بسته | 3build1 |
| معماری بسته | all |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://math-comp.github.io/math-comp/ |
| مجوز | - |
| حجم دانلود | 24199944 |
| حجم نصب | 138793 |
The name Ssreflect stands for "small scale reflection", a style of
proof that evolved from the computer-checked proof of the Four Colour
Theorem and which leverages the higher-order nature of Coq's
underlying logic to provide effective automation for many small,
clerical proof steps. This is often accomplished by restating
("reflecting") problems in a more concrete form, hence the name. For
example, in the Ssreflect library, arithmetic comparison is not an
abstract predicate, but a function computing a boolean.
.
The Ssreflect distribution comprises two parts:
* A new tactic language, which promotes more structured, concise and
robust proof scripts, and is in fact independent from the "reflection"
proof style. It is implemented as a linkable extension to the Coq
system.
* A comprehensive set of Coq libraries covering topics as combinatorics
and algebra.
.
This package installs the full Ssreflect distribution.
نیازمندی
| مقدار | نام |
|---|---|
| >= 1.6.1-3build1 | libssreflect-ocaml |
| - | coq-8.6+4.05.0 |
نحوه نصب
نصب پکیج deb libssreflect-coq:
sudo apt-get install libssreflect-coq_1.6.1-3build1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/finalg.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/finalg.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/finalg.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/interval.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/interval.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/interval.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/matrix.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/matrix.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/matrix.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/poly.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/poly.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/poly.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/rat.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/rat.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/rat.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/vector.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/vector.v |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/vector.vo |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.glob |
| ./usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.v |
| ... and 703 more |