« Up

fourcolor 1.3.0 12 m 0 s 🏆

Context

# Packages matching: installed
# Name                # Installed # Synopsis
base-bigarray         base
base-domains          base
base-nnp              base        Naked pointers prohibited in the OCaml heap
base-threads          base
base-unix             base
conf-gmp              4           Virtual package relying on a GMP lib system installation
coq                   8.17.0      The Coq Proof Assistant
coq-core              8.17.0      The Coq Proof Assistant -- Core Binaries and Tools
coq-stdlib            8.17.0      The Coq Proof Assistant -- Standard Library
coqide-server         8.17.0      The Coq Proof Assistant, XML protocol server
dune                  3.12.2      Fast, portable, and opinionated build system
ocaml                 5.1.1       The OCaml compiler (virtual package)
ocaml-base-compiler   5.1.1       Official release 5.1.1
ocaml-config          3           OCaml Switch Configuration
ocaml-options-vanilla 1           Ensure that OCaml is compiled with no special options enabled
ocamlfind             1.9.6       A library manager for OCaml
zarith                1.13        Implements arithmetic and logical operations over arbitrary-precision integers
# opam file:
opam-version: "2.0"
maintainer: "palmskog@gmail.com"
homepage: "https://github.com/coq-community/fourcolor"
dev-repo: "git+https://github.com/coq-community/fourcolor.git"
bug-reports: "https://github.com/coq-community/fourcolor/issues"
license: "CECILL-B"
synopsis: "Mechanization of the Four Color Theorem in Coq"
description: """
This library contains a formal proof of the Four Color Theorem in Coq,
along with the theories needed to support stating and then proving the Theorem.
This includes an axiomatization of the setoid of classical real numbers,
basic plane topology definitions, and a theory of combinatorial hypermaps."""
build: [make "-j%{jobs}%"]
install: [make "install"]
depends: [
  "coq" {(>= "8.16" & < "8.19~") | (= "dev")}
  "coq-mathcomp-ssreflect" {(>= "2.0.0" & < "2.1~") | (= "dev")}
  "coq-mathcomp-algebra" 
]
tags: [
  "category:Mathematics/Combinatorics and Graph Theory"
  "keyword:Four color theorem"
  "keyword:small scale reflection"
  "keyword:Mathematical Components"
  "logpath:fourcolor"
  "date:2023-05-26"
]
authors: [
  "Georges Gonthier"
]
url {
  src: "https://github.com/math-comp/fourcolor/archive/v1.3.0.tar.gz"
  checksum: "sha512=7bd5b173ca0dd2d70fd6af03020cc9a8cf05e64e02e6f40a497f8f8d77d456592ad45f12e9ee09db00df641f54e1c00347bdce3e2a6c44547381410e2e27baaa"
}

Lint

Command

true

Return code

0

Dry install 🏜️

Dry install with the current Coq version:

Command

opam install -y --show-action coq-fourcolor.1.3.0 coq.8.17.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; timeout 4h opam install -y --deps-only coq-fourcolor.1.3.0 coq.8.17.0

Return code

0

Duration

10 m 0 s

Install 🚀

Command

opam list; echo; timeout 4h opam install -y -v coq-fourcolor.1.3.0 coq.8.17.0

Return code

0

Duration

12 m 0 s

Installation size

Total: 45 M

• 6 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present7.glob
• 5 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present8.glob
• 4 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present9.glob
• 2 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/configurations.glob
• 2 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/walkup.vo
• 1 M ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present10.glob
• 922 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcontract.vo
• 837 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfquiz.vo
• 800 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/part.vo
• 794 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/embed.vo
• 752 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present7.vo
• 650 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/redpart.vo
• 629 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfmap.vo
• 622 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present8.vo
• 559 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/configurations.vo
• 496 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/matte.vo
• 491 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present6.glob
• 474 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/embed.glob
• 437 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gridmap.vo
• 420 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfmap.glob
• 392 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcontract.glob
• 379 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/patch.vo
• 375 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present9.vo
• 327 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/birkhoff.vo
• 318 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/part.glob
• 312 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcolor.vo
• 297 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempe.vo
• 289 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/matte.glob
• 285 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/sew.vo
• 278 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/redpart.glob
• 265 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realcategorical.vo
• 263 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/jordan.vo
• 259 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfquiz.glob
• 258 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/chromogram.vo
• 258 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realprop.vo
• 250 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present11.glob
• 235 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctreerestrict.vo
• 234 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present7.v
• 225 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/contract.vo
• 222 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/grid.vo
• 219 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/revsnip.vo
• 218 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/patch.glob
• 213 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/birkhoff.glob
• 213 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/walkup.glob
• 209 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present8.v
• 207 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realprop.glob
• 204 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiz.vo
• 203 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gridmap.glob
• 201 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discretize.vo
• 197 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcolor.glob
• 193 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/snip.vo
• 193 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/geometry.vo
• 193 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/finitize.vo
• 185 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dedekind.vo
• 178 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present.vo
• 174 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/coloring.vo
• 169 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dedekind.glob
• 169 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtreerestrict.vo
• 163 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/grid.glob
• 163 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiztree.vo
• 161 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/revsnip.glob
• 157 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempetree.vo
• 156 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hubcap.vo
• 151 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/geometry.glob
• 151 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiz.glob
• 151 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present10.vo
• 147 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present9.v
• 142 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/contract.glob
• 140 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/approx.vo
• 131 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/color.vo
• 124 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctree.vo
• 119 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discharge.glob
• 119 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtree.vo
• 112 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discharge.vo
• 111 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/coloring.glob
• 111 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/snip.glob
• 110 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cube.vo
• 108 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realcategorical.glob
• 106 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/jordan.glob
• 103 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hypermap.vo
• 97 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initctree.vo
• 97 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempe.glob
• 97 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/finitize.glob
• 97 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initgtree.vo
• 96 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present6.vo
• 95 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hubcap.glob
• 89 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hypermap.glob
• 88 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempetree.glob
• 82 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctreerestrict.glob
• 80 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present11.vo
• 77 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discretize.glob
• 74 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/configurations.v
• 74 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/approx.glob
• 73 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/color.glob
• 72 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/embed.v
• 65 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiztree.glob
• 64 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfmap.v
• 57 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcontract.v
• 57 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/redpart.v
• 57 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtreerestrict.glob
• 56 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/sew.glob
• 54 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/part.v
• 53 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctree.glob
• 48 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cube.glob
• 47 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/fourcolor.vo
• 45 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present10.v
• 44 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job001to106.vo
• 43 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initctree.glob
• 42 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtree.glob
• 42 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/chromogram.glob
• 42 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/unavoidability.vo
• 41 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.vo
• 40 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfquiz.v
• 40 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/reducibility.vo
• 38 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfreducible.vo
• 37 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job323to383.vo
• 37 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present5.vo
• 36 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/matte.v
• 35 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job107to164.vo
• 35 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/real.vo
• 34 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job399to438.vo
• 34 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/birkhoff.v
• 33 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/walkup.v
• 32 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job563to588.vo
• 32 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realprop.v
• 32 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job589to610.vo
• 32 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/geometry.v
• 32 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfcolor.v
• 31 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job439to465.vo
• 31 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/patch.v
• 30 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job466to485.vo
• 30 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job623to633.vo
• 29 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job517to530.vo
• 29 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gridmap.v
• 29 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job611to617.vo
• 29 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job554to562.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job618to622.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job165to189.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job384to398.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task589to633.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job535to541.vo
• 28 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/finitize.v
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job511to516.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job550to553.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job546to549.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task542to588.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job542to545.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job254to270.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job531to534.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job490to494.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job507to510.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job503to506.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job499to502.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task507to541.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job495to498.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job486to489.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job239to253.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job190to206.vo
• 27 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task486to506.vo
• 26 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task323to485.vo
• 26 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initgtree.glob
• 26 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job271to278.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/coloring.v
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job319to322.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job315to318.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job311to314.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job307to310.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job303to306.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job299to302.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job295to298.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job207to214.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job291to294.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job287to290.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job283to286.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job279to282.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task303to322.vo
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present.glob
• 25 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task283to302.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realplane.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task235to282.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job235to238.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job231to234.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job227to230.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job223to226.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job219to222.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job215to218.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dedekind.v
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task215to234.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task001to214.vo
• 24 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/revsnip.v
• 23 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/contract.v
• 23 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/grid.v
• 23 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiz.v
• 22 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present6.v
• 22 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/snip.v
• 22 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hubcap.v
• 22 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempetree.v
• 22 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/real.glob
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dyck.vo
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present5.glob
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/kempe.v
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discretize.v
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctree.v
• 21 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/hypermap.v
• 20 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/jordan.v
• 20 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/color.v
• 18 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/ctreerestrict.v
• 17 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/discharge.v
• 16 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/approx.v
• 15 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/quiztree.v
• 15 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realcategorical.v
• 15 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realplane.glob
• 15 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present11.v
• 14 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfreducible.glob
• 13 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtree.v
• 13 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/real.v
• 12 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/gtreerestrict.v
• 12 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present.v
• 12 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/chromogram.v
• 10 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realsyntax.vo
• 10 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/sew.v
• 10 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initctree.v
• 8 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realplane.v
• 8 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/unavoidability.glob
• 8 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cube.v
• 6 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/initgtree.v
• 6 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realsyntax.glob
• 5 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/realsyntax.v
• 5 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/cfreducible.v
• 3 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dyck.glob
• 3 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.glob
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/dyck.v
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/present5.v
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/fourcolor.v
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/unavoidability.v
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/fourcolor.glob
• 2 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/reducibility.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/combinatorial4ct.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/reducibility.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task589to633.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task542to588.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task507to541.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task486to506.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task323to485.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task303to322.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task283to302.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task235to282.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task215to234.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task001to214.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task589to633.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task542to588.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task507to541.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task486to506.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task323to485.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task303to322.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task283to302.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task235to282.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task215to234.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/task001to214.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job623to633.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job618to622.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job611to617.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job589to610.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job563to588.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job554to562.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job550to553.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job546to549.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job542to545.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job535to541.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job531to534.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job517to530.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job511to516.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job507to510.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job503to506.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job499to502.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job495to498.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job490to494.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job486to489.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job466to485.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job439to465.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job399to438.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job384to398.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job323to383.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job319to322.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job315to318.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job311to314.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job307to310.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job303to306.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job299to302.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job295to298.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job291to294.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job287to290.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job283to286.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job279to282.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job271to278.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job254to270.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job239to253.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job235to238.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job231to234.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job227to230.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job223to226.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job219to222.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job215to218.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job207to214.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job190to206.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job165to189.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job107to164.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job001to106.v
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job623to633.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job618to622.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job611to617.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job589to610.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job563to588.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job554to562.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job550to553.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job546to549.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job542to545.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job535to541.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job531to534.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job517to530.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job511to516.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job507to510.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job503to506.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job499to502.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job495to498.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job490to494.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job486to489.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job466to485.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job439to465.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job399to438.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job384to398.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job323to383.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job319to322.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job315to318.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job311to314.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job307to310.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job303to306.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job299to302.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job295to298.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job291to294.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job287to290.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job283to286.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job279to282.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job271to278.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job254to270.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job239to253.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job235to238.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job231to234.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job227to230.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job223to226.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job219to222.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job215to218.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job207to214.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job190to206.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job165to189.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job107to164.glob
• 1 K ../ocaml-base-compiler.5.1.1/lib/coq/user-contrib/fourcolor/job001to106.glob

Uninstall 🧹

Command

opam remove -y coq-fourcolor.1.3.0

Return code

0

Missing removes

none

Wrong removes

none