Sat, 01 Jun 2024 07:19:34 UTC | login

Information for RPM emacs-common-proofgeneral-4.5-5.fc39.src.rpm

ID1117299
Nameemacs-common-proofgeneral
Version4.5
Release5.fc39
Epoch
Archsrc
SummaryEmacs mode for standard interaction interface for proof assistants
DescriptionProof 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.
Build Time2023-07-19 18:30:11 GMT
Size1.22 MB
e911246cbbb822b060b3de4ffc13fd49
LicenseGPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
Provides
emacs-common-proofgeneral = 4.5-5.fc39
emacs-proofgeneral = 4.5-5.fc39
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
desktop-file-utils
emacs-nox
libappstream-glib
make
perl-generators
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
tex-cm-super
tex-ec
texinfo-tex
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 9 of 9
Name ascending sort Size
PG-4.5.tar.gz1.14 MB
emacs-common-proofgeneral.spec10.55 KB
io.github.proofgeneral.metainfo.xml5.12 KB
pg-4.2-Makefile.patch517.00 B
pg-4.2-desktop.patch522.00 B
pg-4.5-emacs-warning.patch657.00 B
proofgeneral3.03 KB
proofgeneral-256x256.png41.73 KB
proofgeneral-96x96.png9.05 KB
Component of No Buildroots