How to Install and Uninstall minlog Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 26,2024

1. Install "minlog" package

Here is a brief guide to show you how to install minlog on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minlog
            
                    
    
    Copied

2. Uninstall "minlog" package

This guide let you learn how to uninstall minlog on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minlog
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minlog package on Ubuntu 21.10 (Impish Indri)

Package: minlog
Architecture: all
Version: 4.0.99.20100221-7
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian QA Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7555
Depends: racket | guile
Recommends: emacs25 | emacs24 | emacsen
Suggests: proofgeneral-minlog, quack-el
Filename: pool/universe/m/minlog/minlog_4.0.99.20100221-7_all.deb
Size: 2629048
MD5sum: e0573285f6840daabb8ceb06c33bf18c
SHA1: c7c67566040dd41b709e36e13176236978802c89
SHA256: 7f216f0a3df681c5d4cb9242cb4d549ec4cac27ed3a88fdbd8e652c45f5d32d6
SHA512: 835fa88ee705077361602305d46942960e8b5b523932d4b5069fefd07a04b4abeaf9bbd8b1cbcc80a5245e85d4864513d4ddb46901a7e5a399eed5c66142a09a
Homepage: http://www.minlog-system.de
Description-en: Proof assistant based on first order natural deduction calculus
intended to reason about computable functionals, using minimal
rather than classical or intuitionistic logic. The main motivation
behind MINLOG is to exploit the proofs-as-programs paradigm for
program development and program verification. Proofs are in fact
treated as first class objects which can be normalized. If a formula
is existential then its proof can be used for reading off an instance
of it, or changed appropriately for program development by proof
transformation. To this end MINLOG is equipped with tools to extract
functional programs directly from proof terms. This also applies to
non-constructive proofs, using a refined A-translation. The system
is supported by automatic proof search and normalization by
evaluation as an efficient term rewriting device.
.
Minlog can be used with ProofGeneral, which allows proofs to be
edited using emacs and xemacs. This requires the proofgeneral-minlog
package to be installed.
Description-md5: 5282cef3106afd8fdee9635a8a3692bd