« Up

color 1.3.0 11 m 3 s

(2019-11-11 19:08:57 UTC)

Context

# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-num            base        Num library distributed with the OCaml compiler
base-threads        base
base-unix           base
camlp5              7.10        Preprocessor-pretty-printer of OCaml
conf-findutils      1           Virtual package relying on findutils
conf-m4             1           Virtual package relying on m4
coq                 8.6.1       Formal proof management system.
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.05.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.05.0      Official 4.05.0 release
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.8.1       A library manager for OCaml
# opam file:
opam-version: "2.0"
maintainer: "frederic.blanqui@inria.fr"
authors: [
  "Frédéric Blanqui"
  "Adam Koprowski"
  "Sébastien Hinderer"
  "Pierre-Yves Strub"
  "Sidi Ould Biha"
  "Solange Coupet-Grimal"
  "William Delobel"
  "Hans Zantema"
  "Stéphane Leroux"
  "Léo Ducas"
  "Johannes Waldmann"
  "Qiand Wang"
  "Lianyi Zhang"
  "Sorin Stratulat"
]
license: "CeCILL"
homepage: "http://color.inria.fr/"
bug-reports: "color@inria.fr"
build: [
  [make "-j%{jobs}%"]
]
install: [make "-f" "Makefile.coq" "install"]
depends: [
  "ocaml"
  "coq" {>= "8.6" & < "8.7~"}
]
tags: [
  "date:2017-01-11"
  "logpath:CoLoR"
  "category:Computer Science/Algorithms/Correctness proofs of algorithms"
  "category:Computer Science/Data Types and Data Structures"
  "category:Computer Science/Lambda Calculi"
  "category:Mathematics/Algebra"
  "category:Mathematics/Combinatorics and Graph Theory"
  "category:Mathematics/Logic/Type theory"
  "category:Miscellaneous/Extracted Programs/Type checking unification and normalization"
  "keyword:rewriting"
  "keyword:termination"
  "keyword:lambda calculus"
  "keyword:list"
  "keyword:multiset"
  "keyword:polynom"
  "keyword:vectors"
  "keyword:matrices"
  "keyword:FSet"
  "keyword:FMap"
  "keyword:term"
  "keyword:context"
  "keyword:substitution"
  "keyword:universal algebra"
  "keyword:varyadic term"
  "keyword:string"
  "keyword:alpha-equivalence"
  "keyword:de bruijn indices"
  "keyword:simple types"
  "keyword:matching"
  "keyword:unification"
  "keyword:relation"
  "keyword:ordering"
  "keyword:quasi-ordering"
  "keyword:lexicographic ordering"
  "keyword:ring"
  "keyword:semiring"
  "keyword:well-founded"
  "keyword:noetherian"
  "keyword:finitely branching"
  "keyword:dependent choice"
  "keyword:infinite sequences"
  "keyword:non-termination"
  "keyword:loop"
  "keyword:graph"
  "keyword:path"
  "keyword:transitive closure"
  "keyword:strongly connected component"
  "keyword:topological ordering"
  "keyword:rpo"
  "keyword:horpo"
  "keyword:dependency pair"
  "keyword:dependency graph"
  "keyword:semantic labeling"
  "keyword:reducibility"
  "keyword:Girard"
  "keyword:fixpoint theorem"
  "keyword:Tarski"
  "keyword:pigeon-hole principle"
  "keyword:Ramsey theorem"  
]
synopsis: "A library on rewriting theory and termination"
url {
  src:
    "https://gforge.inria.fr/frs/download.php/file/36399/color.1.3.0.tar.gz"
  checksum: "md5=f02aa2ff0545df6884f0ad71de7c2a21"
}

Lint

Command
true
Return code
0

Dry install

Dry install with the current Coq version:

Command
opam install -y --show-action coq-color.1.3.0 coq.8.6.1
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 2h opam install -y --deps-only coq-color.1.3.0 coq.8.6.1
Return code
0
Duration
3 s

Install

Command
opam list; echo; ulimit -Sv 4000000; timeout 2h opam install -y -v coq-color.1.3.0 coq.8.6.1
Return code
0
Duration
11 m 3 s

Installation size

Total: 95 M

  • 8 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo
  • 7 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo
  • 6 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo
  • 3 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo
  • 3 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo
  • 2 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo
  • 1 M ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo
  • 1006 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo
  • 926 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo
  • 922 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo
  • 877 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo
  • 785 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo
  • 758 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo
  • 739 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo
  • 734 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo
  • 695 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo
  • 672 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo
  • 647 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo
  • 608 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo
  • 489 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo
  • 446 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo
  • 445 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo
  • 426 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo
  • 425 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo
  • 425 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.glob
  • 416 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo
  • 415 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.vo
  • 363 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo
  • 358 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo
  • 356 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo
  • 343 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.glob
  • 342 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.glob
  • 318 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo
  • 303 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.glob
  • 292 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo
  • 292 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.glob
  • 292 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.glob
  • 278 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo
  • 270 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo
  • 268 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo
  • 268 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo
  • 261 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo
  • 261 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo
  • 258 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo
  • 254 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.glob
  • 250 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo
  • 248 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo
  • 245 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo
  • 245 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo
  • 240 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo
  • 234 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo
  • 229 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo
  • 228 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo
  • 228 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo
  • 226 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo
  • 225 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo
  • 221 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo
  • 219 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo
  • 218 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo
  • 213 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo
  • 211 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo
  • 207 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo
  • 206 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.glob
  • 201 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.glob
  • 195 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo
  • 193 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo
  • 187 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo
  • 187 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo
  • 183 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.glob
  • 178 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.glob
  • 178 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo
  • 175 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.glob
  • 174 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo
  • 173 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.vo
  • 168 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo
  • 167 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.glob
  • 166 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo
  • 158 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.glob
  • 157 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo
  • 156 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo
  • 156 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.glob
  • 152 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo
  • 151 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo
  • 149 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.glob
  • 144 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo
  • 144 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo
  • 142 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo
  • 141 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo
  • 138 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo
  • 138 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo
  • 137 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.vo
  • 131 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.glob
  • 130 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.vo
  • 125 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.glob
  • 124 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.glob
  • 123 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo
  • 122 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo
  • 122 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.glob
  • 122 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.glob
  • 120 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.glob
  • 120 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo
  • 119 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo
  • 119 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo
  • 117 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo
  • 117 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.vo
  • 117 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo
  • 116 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.glob
  • 115 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.glob
  • 114 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo
  • 114 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo
  • 112 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo
  • 112 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo
  • 110 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo
  • 109 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo
  • 108 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.vo
  • 107 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo
  • 106 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.glob
  • 104 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.glob
  • 102 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo
  • 102 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo
  • 99 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AHDE.vo
  • 99 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AProj.vo
  • 98 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.vo
  • 98 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo
  • 97 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo
  • 97 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.glob
  • 96 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.glob
  • 96 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo
  • 94 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.glob
  • 93 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.glob
  • 93 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.glob
  • 93 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.glob
  • 91 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo
  • 91 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo
  • 91 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo
  • 91 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.glob
  • 90 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo
  • 88 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADP.vo
  • 88 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.glob
  • 88 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo
  • 85 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo
  • 85 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo
  • 84 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo
  • 84 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo
  • 84 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo
  • 82 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo
  • 81 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.glob
  • 81 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo
  • 80 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.v
  • 80 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.glob
  • 80 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo
  • 80 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo
  • 79 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.glob
  • 77 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo
  • 76 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo
  • 76 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.v
  • 76 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.glob
  • 75 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.v
  • 75 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.v
  • 75 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo
  • 75 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.glob
  • 74 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo
  • 74 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo
  • 73 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo
  • 73 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo
  • 72 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.glob
  • 72 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo
  • 72 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.glob
  • 71 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo
  • 71 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.glob
  • 71 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo
  • 70 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.glob
  • 70 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo
  • 70 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo
  • 69 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo
  • 69 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo
  • 68 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.glob
  • 67 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.glob
  • 67 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AGraph.vo
  • 66 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.glob
  • 65 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo
  • 65 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.glob
  • 64 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.glob
  • 64 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.glob
  • 64 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.vo
  • 63 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo
  • 62 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.glob
  • 61 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo
  • 61 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo
  • 61 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.glob
  • 61 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo
  • 61 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.v
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.glob
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo
  • 60 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo
  • 59 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.glob
  • 59 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo
  • 59 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo
  • 58 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.v
  • 57 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo
  • 57 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.glob
  • 57 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo
  • 56 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.glob
  • 56 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.glob
  • 56 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.glob
  • 56 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo
  • 55 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.glob
  • 55 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo
  • 55 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.glob
  • 54 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo
  • 54 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo
  • 54 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.v
  • 54 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo
  • 53 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo
  • 53 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo
  • 52 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo
  • 52 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.glob
  • 52 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo
  • 52 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo
  • 52 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.glob
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.v
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.glob
  • 51 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo
  • 50 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo
  • 50 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.glob
  • 50 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.glob
  • 49 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.glob
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.vo
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.glob
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.glob
  • 48 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo
  • 47 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo
  • 47 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.glob
  • 47 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.glob
  • 47 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo
  • 46 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo
  • 46 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.glob
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.glob
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.v
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.glob
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.glob
  • 45 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo
  • 44 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo
  • 44 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo
  • 44 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.glob
  • 44 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.glob
  • 43 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo
  • 43 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo
  • 43 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.v
  • 42 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.glob
  • 42 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.v
  • 42 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.vo
  • 41 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.glob
  • 41 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo
  • 41 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo
  • 41 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.glob
  • 40 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.glob
  • 40 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.glob
  • 39 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.glob
  • 39 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo
  • 39 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.glob
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.glob
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.glob
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.glob
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.glob
  • 38 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo
  • 37 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo
  • 37 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo
  • 37 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.v
  • 37 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.glob
  • 36 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.glob
  • 36 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.glob
  • 36 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.glob
  • 36 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.glob
  • 36 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.v
  • 35 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.vo
  • 34 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.v
  • 34 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADP.glob
  • 33 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.v
  • 33 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.glob
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.v
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.v
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.glob
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.glob
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.glob
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.glob
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.v
  • 31 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.vo
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.glob
  • 30 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.v
  • 29 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.glob
  • 29 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.v
  • 29 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.glob
  • 28 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AProj.glob
  • 28 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.glob
  • 28 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.glob
  • 28 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.glob
  • 27 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.glob
  • 27 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.glob
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.v
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.glob
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.v
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.v
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.v
  • 26 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.glob
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.v
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.glob
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.v
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.vo
  • 25 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.glob
  • 24 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.glob
  • 24 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.glob
  • 24 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.vo
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.v
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.glob
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.v
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.glob
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.glob
  • 23 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.v
  • 22 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.glob
  • 22 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.v
  • 22 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.glob
  • 21 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.glob
  • 21 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.v
  • 21 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.v
  • 21 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.v
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.v
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.v
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.v
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.glob
  • 20 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.v
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.glob
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.v
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.glob
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.v
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.v
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.v
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.glob
  • 19 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.v
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.glob
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.glob
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.glob
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.glob
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.glob
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.v
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.v
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.v
  • 18 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.v
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.v
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.glob
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.v
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.v
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.v
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.glob
  • 17 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.v
  • 16 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.v
  • 16 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.glob
  • 16 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.v
  • 16 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.v
  • 16 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.glob
  • 15 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.v
  • 15 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AHDE.glob
  • 15 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.glob
  • 15 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.v
  • 15 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.v
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.v
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AGraph.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.v
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.v
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.glob
  • 14 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.v
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.v
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.v
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.glob
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.glob
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.glob
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.v
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.glob
  • 13 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.v
  • 12 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.glob
  • 12 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.glob
  • 12 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo
  • 12 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.glob
  • 12 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.glob
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.v
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.glob
  • 11 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.glob
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.glob
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.glob
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADP.v
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.glob
  • 10 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.glob
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.v
  • 9 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.glob
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.glob
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.glob
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Filter/AProj.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.glob
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.glob
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.v
  • 8 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.glob
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.v
  • 7 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.glob
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.v
  • 6 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AHDE.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.glob
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.glob
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/DP/AGraph.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.glob
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.v
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.glob
  • 5 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.glob
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.glob
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.glob
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.v
  • 4 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.glob
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.glob
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.glob
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.glob
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.glob
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.v
  • 3 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.glob
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.glob
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.glob
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.glob
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.glob
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.v
  • 2 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.v
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.glob
  • 1 K ../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.v

Uninstall

Command
opam remove -y coq-color.1.3.0
Return code
0
Missing removes
none
Wrong removes
none