How to Install and Uninstall libssreflect-coq Package on Ubuntu 21.10 (Impish Indri)

Last updated: May 02,2024

1. Install "libssreflect-coq" package

This guide let you learn how to install libssreflect-coq on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-coq
            
                    
    
    Copied

2. Uninstall "libssreflect-coq" package

Learn how to uninstall libssreflect-coq on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Ubuntu 21.10 (Impish Indri)

Package: libssreflect-coq
Architecture: all
Version: 1.12.0-1
Priority: optional
Section: universe/math
Source: ssreflect
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 168956
Provides: libmathcomp-coq, ssreflect
Depends: libcoq-ocaml, coq-8.12.0+4.11.1
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.12.0-1_all.deb
Size: 26399356
MD5sum: 570478cb97f4cfb9d29c6182dd4fd842
SHA1: f7d6cb900f4d07d2711cd65fb67b9a1a84c66c3a
SHA256: b646d72b8662f71ba76bce487b91a5b9f7f653ac1eb59e40f99cd6feb7bbb16f
SHA512: 6b22fd85df539d8023553220dd9a2888bedbac2cdb88f915e447ea237c2c6a43496702e56f2008bb41ff74083bb8bf62201b1ac99d9cad7839a05d31a60a5790
Homepage: https://math-comp.github.io/math-comp/
Description-en: Mathematical Components library for Coq
The Mathematical Components Library is an extensive and coherent
repository of formalized mathematical theories. It is based on the
Coq proof assistant, powered with the Coq/SSReflect language.
.
These formal theories cover a wide spectrum of topics, ranging from
the formal theory of general-purpose data structures like lists,
prime numbers or finite graphs, to advanced topics in algebra.
.
The formalization technique adopted in the library, called "small
scale reflection", leverages the higher-order nature of Coq's
underlying logic to provide effective automation for many small,
clerical proof steps. This is often accomplished by restating
("reflecting") problems in a more concrete form, hence the name. For
example, arithmetic comparison is not an abstract predicate, but
rather a function computing a Boolean.
.
This package installs the full Mathematical Components library.
Description-md5: 5e372e261cbf7d4b3305676ff6b2dc63