معرفی شرکت ها

emacs-common-proofgeneral-4.5-2.fc37.src.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Emacs mode for standard interaction interface for proof assistants
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything noarch
نام بسته emacs-common-proofgeneral
نام فایل بسته emacs-common-proofgeneral-4.5-2.fc37.src.rpm
نسخه بسته 4.5
انتشار بسته 2.fc37
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Thu 21 Jul 2022 06
هاست سازنده buildvm-s390x-09.s390.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://proofgeneral.github.io/
مجوز GPLv3+
حجم دانلود 1.3M
حجم نصب 1.212M
Proof General is a generic front-end for proof assistants (also known as interactive theorem provers) based on Emacs. Proof General allows one to edit and submit a proof script to a proof assistant in an interactive manner: - It tracks the goal state, and the script as it is submitted, and allows for easy backtracking and block execution. - It adds toolbars and menus to Emacs for easy access to proof assistant features. - It integrates with Emacs Unicode support for some provers to provide output using proper mathematical symbols. - It includes utilities for generating Emacs tags for proof scripts, allowing for easy navigation. Proof General supports a number of different proof assistants (Isabelle, Coq, PhoX, and LEGO to name a few) and is designed to be easily extendable to work with others.


جایگزین ها

بسته نسخه معماری مخزن
emacs-common-proofgeneral-4.5-2.fc37.noarch.rpm 4.5 noarch Fedora Everything
emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm 4.5 noarch Fedora Everything
emacs-common-proofgeneral-4.5-3.fc37.src.rpm 4.5 noarch Fedora Everything


نیازمندی

مقدار نام
- appstream
- desktop-file-utils
- emacs
- make
- perl-generators
- tex-cm-super
- tex-ec
- texinfo-tex


ارائه دهنده

مقدار نام
= 4.5-2.fc37 emacs-common-proofgeneral
= 4.5-2.fc37 emacs-proofgeneral


نحوه نصب


نصب پکیج rpm emacs-common-proofgeneral:

    dnf install emacs-common-proofgeneral-4.5-2.fc37.src.rpm


فایل ها

مسیرها
PG-4.5.tar.gz
emacs-common-proofgeneral.spec
io.github.proofgeneral.metainfo.xml
pg-4.2-Makefile.patch
pg-4.2-desktop.patch
proofgeneral
proofgeneral-256x256.png


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-20

Version 4.5
License change from GPLv2 to GPLv3+

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-19

13 Oct 2021 git snapshot for numerous updates and bug fixes
Install metainfo instead of appdata and reenable validation

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2020-07-27

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild