معرفی شرکت ها
why3-doc-html_1.5.1-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
HTML Documentation of the why3 verification platform
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | why3-doc-html |
| نام فایل بسته | why3-doc-html_1.5.1-1_all.deb |
| نسخه بسته | 1.5.1 |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://why3.lri.fr/ |
| مجوز | - |
| حجم دانلود | 919472 |
| حجم نصب | 2565 |
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.5.1-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/why3-doc-html/NEWS.Debian.gz |
| ./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-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png.map |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.png |
| ./usr/share/doc/why3-doc-html/html/_images/graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.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/gui-infer.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/vcgen.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/forkme_right_darkblue_121621.png |
| ./usr/share/doc/why3-doc-html/html/_static/graphviz.css |
| ... and 29 more |