معرفی شرکت ها
proofgeneral_4.4.1~pre170114-1.2_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
generic frontend for proof assistants
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | proofgeneral |
| نام فایل بسته | proofgeneral_4.4.1~pre170114-1.2_all.deb |
| نسخه بسته | 4.4.1~pre170114 |
| انتشار بسته | 1.2 |
| معماری بسته | all |
| نگهدارنده | Hendrik Tews <hendrik@askra.de> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | https://proofgeneral.github.io/ |
| مجوز | - |
| حجم دانلود | 603032 |
| حجم نصب | 2036 |
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
.
This package provides Proof General support for Coq. (There is no
other proof assistant that one could sensibly support.)
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 4.4.1~pre170114 | all | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | emacs-gtk |
| - | mmm-mode |
نحوه نصب
نصب پکیج deb proofgeneral:
sudo apt-get install proofgeneral_4.4.1~pre170114-1.2_all.deb
فایل ها
| مسیرها |
|---|
| ./etc/emacs/site-start.d/50proofgeneral.el |
| ./usr/bin/coqtags |
| ./usr/bin/proofgeneral |
| ./usr/lib/emacsen-common/packages/compat/proofgeneral |
| ./usr/lib/emacsen-common/packages/install/proofgeneral |
| ./usr/lib/emacsen-common/packages/remove/proofgeneral |
| ./usr/share/application-registry/proofgeneral.applications |
| ./usr/share/applications/proofgeneral.desktop |
| ./usr/share/doc/proofgeneral/AUTHORS |
| ./usr/share/doc/proofgeneral/BUGS |
| ./usr/share/doc/proofgeneral/COMPATIBILITY |
| ./usr/share/doc/proofgeneral/FAQ.md.gz |
| ./usr/share/doc/proofgeneral/README.Debian |
| ./usr/share/doc/proofgeneral/README.md |
| ./usr/share/doc/proofgeneral/REGISTER |
| ./usr/share/doc/proofgeneral/changelog.Debian.gz |
| ./usr/share/doc/proofgeneral/changelog.gz |
| ./usr/share/doc/proofgeneral/copyright |
| ./usr/share/doc/proofgeneral/examples/coq_example.v |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-abbrev.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-autotest.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-compile-common.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-db.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-indent.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-local-vars.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-mmm.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-compile.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-par-test.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-seq-compile.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-smie.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-syntax.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-system.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq-unicode-tokens.el |
| ./usr/share/emacs/site-lisp/proofgeneral/coq/coq.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-assoc.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-autotest.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-custom.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-goals.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-movie.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pamacs.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pbrpm.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-pgip.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-response.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-user.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-vars.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/pg-xml.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-autoloads.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-auxmodes.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-config.el |
| ./usr/share/emacs/site-lisp/proofgeneral/generic/proof-depends.el |
| ... and 80 more |