معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Emacs mode for standard interaction interface for proof assistants

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything noarch
نام بسته	emacs-common-proofgeneral
نام فایل بسته	emacs-common-proofgeneral-4.5-5.fc39.src.rpm
نسخه بسته	4.5
انتشار بسته	5.fc39
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Wed 19 Jul 2023 10
هاست سازنده	buildvm-a64-18.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://proofgeneral.github.io/
مجوز	GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
حجم دانلود	1.3M
حجم نصب	1.213M

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-5.fc39.noarch.rpm	4.5	noarch	Fedora Everything

نیازمندی

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

ارائه دهنده

مقدار	نام
= 4.5-5.fc39	emacs-common-proofgeneral
= 4.5-5.fc39	emacs-proofgeneral

نحوه نصب

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

dnf install emacs-common-proofgeneral-4.5-5.fc39.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
pg-4.5-emacs-warning.patch
proofgeneral
proofgeneral-256x256.png

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

تاریخ آخرین تغییر	جزئیات
2023-07-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Validate appdata with appstream-util
2023-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-19	Add patch to silence warnings about an overly long docstring Convert License tag to SPDX
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