« Up

color 1.6.0 20 m 0 s 🏆

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.14        Preprocessor-pretty-printer of OCaml
conf-findutils      1           Virtual package relying on findutils
conf-perl           2           Virtual package relying on perl
coq                 8.9.0       Formal proof management system
num                 0           The Num library for arbitrary-precision integer and rational arithmetic
ocaml               4.03.0      The OCaml compiler (virtual package)
ocaml-base-compiler 4.03.0      Official 4.03.0 release
ocaml-config        1           OCaml Switch Configuration
ocamlfind           1.9.6       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: "https://github.com/fblanqui/color/issues"
build: [make "-j%{jobs}%"]
install: [make "-f" "Makefile.coq" "install"]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/CoLoR"]
depends: [
  "ocaml"
  "coq" {>= "8.9" & < "8.10~"}
  "coq-bignums" {>= "8.9" & < "8.10~"}
]
tags: [
  "date:2019-02-11"
  "logpath:CoLoR"
  "category:Computer Science/Decision Procedures and Certified 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:polynomial"
  "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-foundedness"
  "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 components"
  "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"
flags: light-uninstall
url {
  src: "http://files.inria.fr/blanqui/color/color.1.6.0.tar.gz"
  checksum: "md5=8cb1be3cb3f3f2e5d1039c33fef4288d"
}

Lint

Command
true
Return code
0

Dry install 🏜️

Dry install with the current Coq version:

Command
opam install -y --show-action coq-color.1.6.0 coq.8.9.0
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 4h opam install -y --deps-only coq-color.1.6.0 coq.8.9.0
Return code
0
Duration
3 m 0 s

Install 🚀

Command
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-color.1.6.0 coq.8.9.0
Return code
0
Duration
20 m 0 s

Installation size

Total: 82 M

  • 8 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo
  • 6 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo
  • 2 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo
  • 2 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo
  • 2 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo
  • 2 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo
  • 1 M ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo
  • 1011 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo
  • 948 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo
  • 881 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo
  • 872 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo
  • 818 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo
  • 744 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo
  • 726 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo
  • 716 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo
  • 698 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo
  • 657 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo
  • 655 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo
  • 628 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo
  • 571 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo
  • 450 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo
  • 426 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.glob
  • 419 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo
  • 419 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo
  • 401 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo
  • 399 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo
  • 398 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.vo
  • 386 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo
  • 346 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo
  • 344 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.glob
  • 343 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.glob
  • 331 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo
  • 314 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo
  • 307 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.glob
  • 293 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.glob
  • 293 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.glob
  • 285 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo
  • 271 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo
  • 262 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo
  • 261 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo
  • 256 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.glob
  • 251 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo
  • 249 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo
  • 249 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo
  • 246 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo
  • 243 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo
  • 243 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo
  • 241 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo
  • 228 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo
  • 228 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo
  • 226 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo
  • 222 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo
  • 221 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo
  • 216 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo
  • 214 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo
  • 212 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo
  • 209 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo
  • 209 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo
  • 208 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo
  • 207 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.glob
  • 206 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo
  • 202 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.glob
  • 194 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo
  • 193 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo
  • 190 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo
  • 187 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo
  • 183 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo
  • 183 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.glob
  • 178 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.glob
  • 177 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.glob
  • 173 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo
  • 173 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo
  • 169 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo
  • 168 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.glob
  • 167 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo
  • 166 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.vo
  • 165 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo
  • 163 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo
  • 159 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.glob
  • 157 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.glob
  • 153 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo
  • 149 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.glob
  • 145 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo
  • 141 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo
  • 139 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo
  • 139 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo
  • 138 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo
  • 135 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo
  • 134 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo
  • 132 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo
  • 132 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo
  • 132 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.glob
  • 131 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.vo
  • 127 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.vo
  • 125 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.glob
  • 125 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.glob
  • 122 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.glob
  • 122 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.glob
  • 122 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo
  • 120 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.glob
  • 120 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo
  • 118 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo
  • 116 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.glob
  • 116 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo
  • 115 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.glob
  • 114 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo
  • 113 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo
  • 113 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo
  • 112 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo
  • 110 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo
  • 109 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.vo
  • 108 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo
  • 106 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo
  • 106 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.glob
  • 106 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo
  • 104 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.glob
  • 103 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.vo
  • 102 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo
  • 102 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo
  • 99 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo
  • 99 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo
  • 97 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.glob
  • 97 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.glob
  • 96 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AProj.vo
  • 95 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AHDE.vo
  • 95 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.glob
  • 94 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.glob
  • 94 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo
  • 94 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.vo
  • 93 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.glob
  • 93 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.glob
  • 93 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo
  • 92 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo
  • 91 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.glob
  • 89 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo
  • 88 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo
  • 88 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.glob
  • 88 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo
  • 87 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo
  • 85 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADP.vo
  • 83 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo
  • 82 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo
  • 82 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo
  • 82 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo
  • 81 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.glob
  • 81 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo
  • 81 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.glob
  • 80 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.v
  • 80 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo
  • 79 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.glob
  • 79 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo
  • 78 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo
  • 78 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo
  • 78 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo
  • 76 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.v
  • 76 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.glob
  • 75 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.v
  • 75 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.v
  • 75 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.glob
  • 74 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo
  • 73 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.glob
  • 72 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.glob
  • 72 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.glob
  • 71 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo
  • 71 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo
  • 71 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo
  • 71 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.glob
  • 70 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo
  • 70 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo
  • 70 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo
  • 69 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo
  • 69 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo
  • 69 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo
  • 68 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.glob
  • 68 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo
  • 68 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.glob
  • 67 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo
  • 66 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo
  • 66 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.glob
  • 65 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo
  • 65 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.glob
  • 65 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AGraph.vo
  • 65 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.glob
  • 64 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.glob
  • 63 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo
  • 62 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.glob
  • 61 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.vo
  • 61 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.glob
  • 60 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.glob
  • 60 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.v
  • 60 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.glob
  • 60 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo
  • 60 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo
  • 59 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo
  • 58 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo
  • 58 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo
  • 58 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.v
  • 58 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo
  • 57 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo
  • 57 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo
  • 57 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.glob
  • 57 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo
  • 57 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.glob
  • 56 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo
  • 56 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.glob
  • 56 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.glob
  • 56 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo
  • 55 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.glob
  • 55 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.glob
  • 54 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo
  • 54 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.v
  • 54 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo
  • 53 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo
  • 53 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo
  • 53 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo
  • 52 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.glob
  • 52 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo
  • 52 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.glob
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.glob
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.v
  • 51 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.glob
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.glob
  • 50 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo
  • 49 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo
  • 49 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo
  • 49 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo
  • 48 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.glob
  • 48 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.glob
  • 47 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.glob
  • 47 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.glob
  • 47 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.glob
  • 46 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo
  • 46 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo
  • 46 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.vo
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.glob
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Horpo.v
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.glob
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.glob
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo
  • 45 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.glob
  • 44 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo
  • 44 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo
  • 44 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.glob
  • 44 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.glob
  • 44 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo
  • 43 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo
  • 43 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.v
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.glob
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.v
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo
  • 42 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.glob
  • 41 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo
  • 41 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.glob
  • 40 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.glob
  • 40 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.vo
  • 40 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.glob
  • 40 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo
  • 40 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo
  • 39 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.glob
  • 39 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.glob
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.glob
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.glob
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.glob
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.glob
  • 38 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo
  • 37 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.v
  • 37 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.glob
  • 37 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo
  • 37 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.glob
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.glob
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.glob
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.glob
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.v
  • 36 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo
  • 34 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.vo
  • 34 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/Computability.v
  • 34 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADP.glob
  • 33 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.v
  • 33 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.glob
  • 32 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.glob
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.v
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.v
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.glob
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.glob
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.glob
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.v
  • 31 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.glob
  • 30 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.v
  • 29 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.glob
  • 29 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.v
  • 29 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo
  • 29 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.glob
  • 29 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.vo
  • 28 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AProj.glob
  • 28 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.glob
  • 28 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.glob
  • 28 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.glob
  • 28 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.glob
  • 27 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo
  • 27 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.glob
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.v
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.glob
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.v
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.glob
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.v
  • 26 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.v
  • 25 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.v
  • 25 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.glob
  • 25 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.v
  • 25 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.glob
  • 24 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.glob
  • 24 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo
  • 24 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.glob
  • 24 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.vo
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.v
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.glob
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.glob
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.v
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.v
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.vo
  • 23 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.glob
  • 22 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.glob
  • 22 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.glob
  • 22 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Total.v
  • 22 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.glob
  • 21 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.v
  • 21 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.v
  • 21 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.v
  • 21 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.v
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.v
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.v
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.glob
  • 20 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.v
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.glob
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.glob
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.v
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SN.v
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.glob
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.v
  • 19 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.v
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.glob
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.glob
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.v
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.glob
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.glob
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.glob
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.v
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.v
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.v
  • 18 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.v
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.v
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.v
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.glob
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.v
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.v
  • 17 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.v
  • 16 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.v
  • 16 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.glob
  • 16 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.v
  • 16 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.v
  • 16 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.glob
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.v
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.glob
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AHDE.glob
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.v
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.glob
  • 15 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.v
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.v
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AGraph.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.v
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.v
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.glob
  • 14 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.v
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.v
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.glob
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MPO/VMpo.v
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.glob
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.glob
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.glob
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.v
  • 13 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.v
  • 12 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.glob
  • 12 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.glob
  • 12 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.glob
  • 12 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.v
  • 12 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.glob
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPGraph.v
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.glob
  • 11 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.glob
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Path.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.glob
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.glob
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADP.v
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.glob
  • 10 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.glob
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.v
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.glob
  • 9 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.glob
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.glob
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.glob
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Filter/AProj.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.glob
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.v
  • 8 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.glob
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.v
  • 7 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/AReverse.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.glob
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListLex.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADecomp.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.glob
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.v
  • 6 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/ADPUnif.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListDec.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AHDE.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.glob
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Union.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.glob
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VMPO.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/DP/AGraph.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.glob
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.v
  • 5 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.glob
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VLPO.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.glob
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.glob
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/Srs.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.v
  • 4 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.glob
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.v
  • 3 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SReverse.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.glob
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.glob
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.glob
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListMax.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.glob
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.glob
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.v
  • 2 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/String/SContext.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/List/ListSort.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.v
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.glob
  • 1 K ../ocaml-base-compiler.4.03.0/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.v

Uninstall 🧹

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