معرفی شرکت ها
why3-doc-html_1.3.3-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
HTML Documentation of the why3 verification platform
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main all |
| نام بسته | why3-doc-html |
| نام فایل بسته | why3-doc-html_1.3.3-1_all.deb |
| نسخه بسته | 1.3.3 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 960332 |
| حجم نصب | 2376 |
This package contains the tutorial and reference manual of the
why3 verification platform in HTML format.
نیازمندی
| مقدار | نام |
|---|---|
| >= 6.13 | tex-common |
| - | libjs-jquery |
| - | libjs-underscore |
| - | libjs-mathjax |
| - | libjs-sphinxdoc |
نحوه نصب
نصب پکیج deb why3-doc-html:
sudo apt-get install why3-doc-html_1.3.3-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/why3-doc-html/changelog.Debian.gz |
| ./usr/share/doc/why3-doc-html/changelog.gz |
| ./usr/share/doc/why3-doc-html/copyright |
| ./usr/share/doc/why3-doc-html/html/.buildinfo |
| ./usr/share/doc/why3-doc-html/html/_images/ce_example0_p1.png |
| ./usr/share/doc/why3-doc-html/html/_images/ce_example0_p2.png |
| ./usr/share/doc/why3-doc-html/html/_images/coqide.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-53894842536c86b6cdf438247184868cd44d06e3.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-53894842536c86b6cdf438247184868cd44d06e3.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-67e146e7d0542e3eba3fb4d02a8ee42c65feba6b.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-67e146e7d0542e3eba3fb4d02a8ee42c65feba6b.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-6cf2d912c3620ad4f72d9cca0aabb493a712820b.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-6cf2d912c3620ad4f72d9cca0aabb493a712820b.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-733c6bee4ad5df6f1cdfd17afa048af0d20c830a.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-733c6bee4ad5df6f1cdfd17afa048af0d20c830a.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/gui-1.png |
| ./usr/share/doc/why3-doc-html/html/_images/gui-2.png |
| ./usr/share/doc/why3-doc-html/html/_images/gui-3.png |
| ./usr/share/doc/why3-doc-html/html/_images/gui-4.png |
| ./usr/share/doc/why3-doc-html/html/_images/gui-5.png |
| ./usr/share/doc/why3-doc-html/html/_images/hello_proof.png |
| ./usr/share/doc/why3-doc-html/html/_sources/api.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/changes.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/exec.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/foreword.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/genindex.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/index.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/input_formats.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/install.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/itp.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/manpages.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/starting.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/syntaxref.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/technical.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/whyml.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_sources/zebibliography.rst.txt |
| ./usr/share/doc/why3-doc-html/html/_static/alabaster.css |
| ./usr/share/doc/why3-doc-html/html/_static/basic.css |
| ./usr/share/doc/why3-doc-html/html/_static/custom.css |
| ./usr/share/doc/why3-doc-html/html/_static/documentation_options.js |
| ./usr/share/doc/why3-doc-html/html/_static/file.png |
| ./usr/share/doc/why3-doc-html/html/_static/graphviz.css |
| ./usr/share/doc/why3-doc-html/html/_static/minus.png |
| ./usr/share/doc/why3-doc-html/html/_static/plus.png |
| ... and 26 more |