معرفی شرکت ها

prooftree_0.13-2+b1_arm64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

proof-tree visualization for Proof General
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main arm64
نام بسته prooftree
نام فایل بسته prooftree_0.13-2+b1_arm64.deb
نسخه بسته 0.13
انتشار بسته 2+b1
معماری بسته arm64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://askra.de/software/prooftree
مجوز -
حجم دانلود 1283352
حجم نصب 5875
Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.


جایگزین ها

بسته نسخه معماری مخزن
prooftree_0.13-2+b1_amd64.deb 0.13 amd64 Debian main
prooftree_0.13-2+b1_armel.deb 0.13 armel Debian main
prooftree_0.13-2+b1_armhf.deb 0.13 armhf Debian main
prooftree_0.13-2+b1_i386.deb 0.13 i386 Debian main
prooftree_0.13-2+b1_mips64el.deb 0.13 mips64el Debian main
prooftree_0.13-2+b1_mipsel.deb 0.13 mipsel Debian main
prooftree_0.13-2+b1_ppc64el.deb 0.13 ppc64el Debian main


نیازمندی

مقدار نام
>= 4.3~pre130510 proofgeneral
>= 8.4 coq
>= 2.29 libc6
>= 2.22.0 libgdk-pixbuf2.0-0
>= 2.35.9 libglib2.0-0
>= 2.24.32 libgtk2.0-0
>= 1.22.0 libpango-1.0-0


نحوه نصب


نصب پکیج deb prooftree:

    sudo apt-get install prooftree_0.13-2+b1_arm64.deb


فایل ها

مسیرها
./usr/bin/prooftree
./usr/share/doc/prooftree/README
./usr/share/doc/prooftree/changelog.Debian.arm64.gz
./usr/share/doc/prooftree/changelog.Debian.gz
./usr/share/doc/prooftree/changelog.gz
./usr/share/doc/prooftree/changes.html
./usr/share/doc/prooftree/copyright
./usr/share/doc-base/prooftree-changes
./usr/share/man/man1/prooftree.1.gz