Thu, 28 Mar 2024 20:18:10 CST | login

Information for RPM emacs-common-proofgeneral-4.5-3.fc37.noarch.rpm

ID83527
Nameemacs-common-proofgeneral
Version4.5
Release3.fc37
Epoch
Archnoarch
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-02-04 12:30:18 GMT
Size1.04 MB
a70aad523de796a1ce3c15c8292edd4d
LicenseGPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
Buildrootf37-build-side-32-misc-devel-239183-14080
Provides
application()
application(proofgeneral.desktop)
emacs-common-proofgeneral = 4.5-3.fc37
metainfo()
metainfo(io.github.proofgeneral.metainfo.xml)
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
/usr/bin/perl
/usr/bin/sh
hicolor-icon-theme
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends
prooftree
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 30 of 30
Name ascending sort Size
/usr/bin/coqtags4.32 KB
/usr/bin/proofgeneral3.03 KB
/usr/share/application-registry/proofgeneral.applications169.00 B
/usr/share/applications/proofgeneral.desktop300.00 B
/usr/share/doc/proofgeneral0.00 B
/usr/share/doc/proofgeneral/AUTHORS1.63 KB
/usr/share/doc/proofgeneral/BUGS3.40 KB
/usr/share/doc/proofgeneral/CHANGES28.88 KB
/usr/share/doc/proofgeneral/COMPATIBILITY1.12 KB
/usr/share/doc/proofgeneral/PG-adapting.pdf404.75 KB
/usr/share/doc/proofgeneral/ProofGeneral.pdf496.21 KB
/usr/share/doc/proofgeneral/pgshell0.00 B
/usr/share/doc/proofgeneral/pgshell/example.pgsh651.00 B
/usr/share/doc/proofgeneral/phox0.00 B
/usr/share/doc/proofgeneral/phox/sqrt2.phx5.30 KB
/usr/share/icons/hicolor/128x128/apps/proofgeneral.png13.79 KB
/usr/share/icons/hicolor/16x16/apps/proofgeneral.png1020.00 B
/usr/share/icons/hicolor/256x256/apps/proofgeneral.png41.73 KB
/usr/share/icons/hicolor/32x32/apps/proofgeneral.png2.05 KB
/usr/share/icons/hicolor/48x48/apps/proofgeneral.png3.60 KB
/usr/share/icons/hicolor/64x64/apps/proofgeneral.png4.93 KB
/usr/share/icons/hicolor/96x96/apps/proofgeneral.png9.05 KB
/usr/share/info/PG-adapting.info.gz55.82 KB
/usr/share/info/ProofGeneral.info.gz72.59 KB
/usr/share/licenses/emacs-common-proofgeneral0.00 B
/usr/share/licenses/emacs-common-proofgeneral/COPYING34.33 KB
/usr/share/man/man1/proofgeneral.1.gz775.00 B
/usr/share/metainfo/io.github.proofgeneral.metainfo.xml5.12 KB
/usr/share/mime-info/proofgeneral.keys431.00 B
/usr/share/mime-info/proofgeneral.mime52.00 B
Component of No Buildroots