How to Install and Uninstall emacs-common-proofgeneral.noarch Package on Fedora 34
Last updated: October 10,2024
1. Install "emacs-common-proofgeneral.noarch" package
This is a short guide on how to install emacs-common-proofgeneral.noarch on Fedora 34
$
sudo dnf update
Copied
$
sudo dnf install
emacs-common-proofgeneral.noarch
Copied
2. Uninstall "emacs-common-proofgeneral.noarch" package
This guide covers the steps necessary to uninstall emacs-common-proofgeneral.noarch on Fedora 34:
$
sudo dnf remove
emacs-common-proofgeneral.noarch
Copied
$
sudo dnf autoremove
Copied
3. Information about the emacs-common-proofgeneral.noarch package on Fedora 34
Last metadata expiration check: 1:03:15 ago on Tue Sep 6 14:10:38 2022.
Available Packages
Name : emacs-common-proofgeneral
Version : 4.4
Release : 13.20200506gitea62543.fc34
Architecture : noarch
Size : 1.1 M
Source : emacs-common-proofgeneral-4.4-13.20200506gitea62543.fc34.src.rpm
Repository : fedora
Summary : Emacs mode for standard interaction interface for proof assistants
URL : https://proofgeneral.github.io/
License : GPLv2
Description : 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.
Available Packages
Name : emacs-common-proofgeneral
Version : 4.4
Release : 13.20200506gitea62543.fc34
Architecture : noarch
Size : 1.1 M
Source : emacs-common-proofgeneral-4.4-13.20200506gitea62543.fc34.src.rpm
Repository : fedora
Summary : Emacs mode for standard interaction interface for proof assistants
URL : https://proofgeneral.github.io/
License : GPLv2
Description : 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.