معرفی شرکت ها

coq-doc-html_8.16.1-1_all.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

documentation for Coq in html format
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian non-free all
نام بسته coq-doc-html
نام فایل بسته coq-doc-html_8.16.1-1_all.deb
نسخه بسته 8.16.1
انتشار بسته 1
معماری بسته all
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://coq.inria.fr/
مجوز -
حجم دانلود 1583152
حجم نصب 20507
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package contains its documentation and tutorials in html format.


نیازمندی

مقدار نام
>= 5.2 libjs-sphinxdoc
>= 1.1.1+dfsg sphinx-rtd-theme-common


نحوه نصب


نصب پکیج deb coq-doc-html:

    sudo apt-get install coq-doc-html_8.16.1-1_all.deb