معرفی شرکت ها
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
generic frontend for proof assistants - documentation
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | proofgeneral-doc |
| نام فایل بسته | proofgeneral-doc_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/ |
| مجوز | - |
| حجم دانلود | 681756 |
| حجم نصب | 1556 |
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 the Proof General user manual in info, html and
pdf form.
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb proofgeneral-doc:
sudo apt-get install proofgeneral-doc_4.4.1~pre170114-1.2_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/proofgeneral-doc/changelog.Debian.gz |
| ./usr/share/doc/proofgeneral-doc/changelog.gz |
| ./usr/share/doc/proofgeneral-doc/copyright |
| ./usr/share/doc/proofgeneral-doc/html/Active-scripting-buffer.html |
| ./usr/share/doc/proofgeneral-doc/html/Adding-your-own-keybindings.html |
| ./usr/share/doc/proofgeneral-doc/html/Advanced-Script-Management-and-Editing.html |
| ./usr/share/doc/proofgeneral-doc/html/Asserting-across-files.html |
| ./usr/share/doc/proofgeneral-doc/html/Automatic-Compilation-in-Detail.html |
| ./usr/share/doc/proofgeneral-doc/html/Automatic-multiple-file-handling.html |
| ./usr/share/doc/proofgeneral-doc/html/Automatic-processing.html |
| ./usr/share/doc/proofgeneral-doc/html/Basic-Script-Management.html |
| ./usr/share/doc/proofgeneral-doc/html/Basic-options.html |
| ./usr/share/doc/proofgeneral-doc/html/Bugs-and-Enhancements.html |
| ./usr/share/doc/proofgeneral-doc/html/Changing-faces.html |
| ./usr/share/doc/proofgeneral-doc/html/Changing-the-name-of-the-coq-project-file.html |
| ./usr/share/doc/proofgeneral-doc/html/Choosing-logic-and-starting-isabelle.html |
| ./usr/share/doc/proofgeneral-doc/html/Concept-Index.html |
| ./usr/share/doc/proofgeneral-doc/html/Configuring-tokens-symbols-and-shortcuts.html |
| ./usr/share/doc/proofgeneral-doc/html/Coq-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Coq_002dspecific-commands.html |
| ./usr/share/doc/proofgeneral-doc/html/Credits.html |
| ./usr/share/doc/proofgeneral-doc/html/Current-Limitations.html |
| ./usr/share/doc/proofgeneral-doc/html/Customizing-Coq-Multiple-File-Support.html |
| ./usr/share/doc/proofgeneral-doc/html/Customizing-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Disabling-the-coq-project-file-mechanism.html |
| ./usr/share/doc/proofgeneral-doc/html/Display-customization.html |
| ./usr/share/doc/proofgeneral-doc/html/Document-centred-working.html |
| ./usr/share/doc/proofgeneral-doc/html/Editing-features.html |
| ./usr/share/doc/proofgeneral-doc/html/Editing-multiple-proofs.html |
| ./usr/share/doc/proofgeneral-doc/html/Escaping-script-management.html |
| ./usr/share/doc/proofgeneral-doc/html/Features-of-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Features-of-Prooftree.html |
| ./usr/share/doc/proofgeneral-doc/html/Finding-available-tokens-shortcuts-and-symbols.html |
| ./usr/share/doc/proofgeneral-doc/html/Function-Index.html |
| ./usr/share/doc/proofgeneral-doc/html/Future.html |
| ./usr/share/doc/proofgeneral-doc/html/Goal_002dsave-sequences.html |
| ./usr/share/doc/proofgeneral-doc/html/Goals-and-response-faces.html |
| ./usr/share/doc/proofgeneral-doc/html/Goals-buffer-commands.html |
| ./usr/share/doc/proofgeneral-doc/html/Graphical-Proof_002dTree-Visualization.html |
| ./usr/share/doc/proofgeneral-doc/html/HOL-Light-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Hints-and-Tips.html |
| ./usr/share/doc/proofgeneral-doc/html/History-of-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Holes-feature.html |
| ./usr/share/doc/proofgeneral-doc/html/How-to-customize.html |
| ./usr/share/doc/proofgeneral-doc/html/Imenu-and-Speedbar.html |
| ./usr/share/doc/proofgeneral-doc/html/Installing-Proof-General-from-sources.html |
| ./usr/share/doc/proofgeneral-doc/html/Installing-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Interrupting-during-trace-output.html |
| ./usr/share/doc/proofgeneral-doc/html/Introducing-Proof-General.html |
| ./usr/share/doc/proofgeneral-doc/html/Isabelle-Proof-General.html |
| ... and 76 more |