How to Install and Uninstall libssreflect-coq Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 02,2024

1. Install "libssreflect-coq" package

Please follow the steps below to install libssreflect-coq on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libssreflect-coq
            
                    
    
    Copied

2. Uninstall "libssreflect-coq" package

In this section, we are going to explain the necessary steps to uninstall libssreflect-coq on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libssreflect-coq
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libssreflect-coq package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libssreflect-coq
Priority: extra
Section: universe/math
Installed-Size: 7290
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: all
Source: ssreflect
Version: 1.5-3build1
Provides: ssreflect
Depends: libssreflect-ocaml (>= 1.5-3build1), coq-8.4pl4+4.02.3
Filename: pool/universe/s/ssreflect/libssreflect-coq_1.5-3build1_all.deb
Size: 1193480
MD5sum: 307e459ced24e390b4d26b361938454c
SHA1: 195046e577ca36cfbe28950c5d79ae428e9ca51b
SHA256: 2fa18b182668d45da45b067725e6f190844cdbee25de42454f0268b46717b58b
Description-en: small scale reflection library for Coq (theories)
The name Ssreflect stands for "small scale reflection", a style of
proof that evolved from the computer-checked proof of the Four Colour
Theorem and which 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, in the Ssreflect library, arithmetic comparison is not an
abstract predicate, but a function computing a boolean.
.
The Ssreflect distribution comprises two parts:
* A new tactic language, which promotes more structured, concise and
robust proof scripts, and is in fact independent from the "reflection"
proof style. It is implemented as a linkable extension to the Coq
system.
* A set of Coq libraries that provide core "reflection-oriented"
theories for basic combinatorics (roughly: arithmetic, lists, and
finite sets).
.
This package installs the full Ssreflect distribution.
Description-md5: 42f2563f66c9048cc7be758e6ce00ad6
Homepage: http://www.msr-inria.fr/projects/mathematical-components/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu