How to Install and Uninstall emacs-common-proofgeneral.noarch Package on Fedora 39

Last updated: September 23,2024

1. Install "emacs-common-proofgeneral.noarch" package

This tutorial shows how to install emacs-common-proofgeneral.noarch on Fedora 39


    
        
            $
        

        
            
                sudo dnf update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf install
            
                        
                emacs-common-proofgeneral.noarch
            
                    
    
    Copied

2. Uninstall "emacs-common-proofgeneral.noarch" package

Please follow the step by step instructions below to uninstall emacs-common-proofgeneral.noarch on Fedora 39:


    
        
            $
        

        
            
                sudo dnf remove
            
                        
                emacs-common-proofgeneral.noarch
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo dnf autoremove
            
                    
    
    Copied

3. Information about the emacs-common-proofgeneral.noarch package on Fedora 39

Last metadata expiration check: 1:56:46 ago on Thu Mar 7 17:44:52 2024.
Available Packages
Name : emacs-common-proofgeneral
Version : 4.5
Release : 5.fc39
Architecture : noarch
Size : 1.1 M
Source : emacs-common-proofgeneral-4.5-5.fc39.src.rpm
Repository : fedora
Summary : Emacs mode for standard interaction interface for proof assistants
URL : https://proofgeneral.github.io/
License : GPL-3.0-or-later AND CC-BY-SA-3.0 AND CC-BY-SA-2.0
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.