coq-community/fourcolor issues and pull requests

#62 - adapt to MC#1256

Pull Request - State: closed - Opened by Tragicus about 2 months ago - 1 comment

#62 - adapt to MC#1256

Pull Request - State: closed - Opened by Tragicus about 2 months ago - 1 comment

#61 - switch Docker CI cron to weekly, explicit dependency on HB

Pull Request - State: closed - Opened by palmskog about 2 months ago

#61 - switch Docker CI cron to weekly, explicit dependency on HB

Pull Request - State: closed - Opened by palmskog about 2 months ago

#60 - add HAL paper in meta.yml and README.md

Pull Request - State: closed - Opened by palmskog 3 months ago

#60 - add HAL paper in meta.yml and README.md

Pull Request - State: closed - Opened by palmskog 3 months ago

#59 - Treat a deprecation warning about Qint

Pull Request - State: closed - Opened by pi8027 3 months ago

#59 - Treat a deprecation warning about Qint

Pull Request - State: closed - Opened by pi8027 3 months ago

#58 - Adapt to https://github.com/math-comp/math-comp/pull/1223

Pull Request - State: closed - Opened by proux01 3 months ago

#58 - Adapt to https://github.com/math-comp/math-comp/pull/1223

Pull Request - State: closed - Opened by proux01 3 months ago

#57 - Adapt to Coq PR #18591: better refolding of addn induces now useless addnE

Pull Request - State: closed - Opened by herbelin 3 months ago - 1 comment

#57 - Adapt to Coq PR #18591: better refolding of addn induces now useless addnE

Pull Request - State: closed - Opened by herbelin 3 months ago - 1 comment

#56 - remove mathcomp-dev-coq-8.17 Docker job

Pull Request - State: closed - Opened by palmskog 5 months ago

#56 - remove mathcomp-dev-coq-8.17 Docker job

Pull Request - State: closed - Opened by palmskog 5 months ago

#55 - Adapt to math-comp/math-comp#1190

Pull Request - State: closed - Opened by pi8027 6 months ago

#55 - Adapt to math-comp/math-comp#1190

Pull Request - State: closed - Opened by pi8027 6 months ago

#54 - [CI] Add MC 2.1.0

Pull Request - State: closed - Opened by proux01 11 months ago

#54 - [CI] Add MC 2.1.0

Pull Request - State: closed - Opened by proux01 11 months ago

#53 - [CI] Add MC 2.1

Pull Request - State: closed - Opened by proux01 11 months ago

#53 - [CI] Add MC 2.1

Pull Request - State: closed - Opened by proux01 11 months ago

#52 - boilerplate and ci for Coq 8.17 and MathComp 1.16.0

Pull Request - State: closed - Opened by palmskog over 1 year ago

#52 - boilerplate and ci for Coq 8.17 and MathComp 1.16.0

Pull Request - State: closed - Opened by palmskog over 1 year ago

#51 - use MathComp dev Docker image again

Pull Request - State: closed - Opened by palmskog almost 2 years ago - 1 comment

#51 - use MathComp dev Docker image again

Pull Request - State: closed - Opened by palmskog almost 2 years ago - 1 comment

#50 - avoid using disabled mathcomp docker images in CI

Pull Request - State: closed - Opened by palmskog almost 2 years ago

#50 - avoid using disabled mathcomp docker images in CI

Pull Request - State: closed - Opened by palmskog almost 2 years ago

#49 - switch to using regular coq dev Docker image

Pull Request - State: closed - Opened by palmskog almost 2 years ago

#49 - switch to using regular coq dev Docker image

Pull Request - State: closed - Opened by palmskog almost 2 years ago

#48 - Add CI for coq 8.16

Pull Request - State: closed - Opened by CohenCyril about 2 years ago

#48 - Add CI for coq 8.16

Pull Request - State: closed - Opened by CohenCyril about 2 years ago

#47 - testing mathcomp 1.15

Pull Request - State: closed - Opened by CohenCyril about 2 years ago

#47 - testing mathcomp 1.15

Pull Request - State: closed - Opened by CohenCyril about 2 years ago

#46 - Remove 1.12 deprecations

Pull Request - State: closed - Opened by proux01 about 2 years ago

#46 - Remove 1.12 deprecations

Pull Request - State: closed - Opened by proux01 about 2 years ago

#45 - [build] Initial dune support

Pull Request - State: open - Opened by ejgallego over 2 years ago

#44 - Port to Hierarchy Builder

Pull Request - State: closed - Opened by proux01 over 2 years ago

#43 - Rm warnings 8.11

Pull Request - State: closed - Opened by ybertot over 2 years ago - 14 comments

#42 - `inE` robustness wrt math-comp/math-comp#863

Pull Request - State: closed - Opened by ggonthier over 2 years ago - 1 comment

#41 - [WIP]removed deprecation warnings and most duplicate clear warnings

Pull Request - State: open - Opened by ybertot over 2 years ago - 6 comments

#40 - make Require Imports idiomatic

Pull Request - State: closed - Opened by palmskog over 2 years ago - 4 comments

#39 - Fix Cachix.

Pull Request - State: closed - Opened by Zimmi48 over 2 years ago - 1 comment

#38 - add meta.yml and generate coq-community boilerplate

Pull Request - State: closed - Opened by palmskog over 2 years ago - 7 comments

#37 - update CI for mc 1.13 and 1.14

Pull Request - State: closed - Opened by CohenCyril over 2 years ago

#36 - Add %N for nat constants

Pull Request - State: closed - Opened by proux01 over 2 years ago - 3 comments

#35 - OPAM package for mathcomp-1.14.0

Issue - State: closed - Opened by chdoc over 2 years ago - 1 comment

#34 - force use of mc 1.12.0

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#33 - adding nix toolbox

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#32 - Remove the reliance on Coq "IF then else" Prop notation.

Pull Request - State: closed - Opened by ppedrot over 3 years ago

#31 - realplane.v: fix typo in comment "type"

Pull Request - State: closed - Opened by Blaisorblade over 3 years ago - 1 comment

#30 - Fix a performance issue with `rewrite ?divr_gt0`

Pull Request - State: closed - Opened by pi8027 over 3 years ago - 1 comment

#29 - Rename coq-mathcomp-fourcolor.opam to coq-fourcolor.opam

Pull Request - State: closed - Opened by CohenCyril almost 4 years ago - 4 comments

#28 - opam package for mathcomp-1.12

Issue - State: closed - Opened by chdoc almost 4 years ago - 1 comment

#27 - Fix w.r.t. math-comp/math-comp#682

Pull Request - State: closed - Opened by pi8027 almost 4 years ago

#26 - switch to github actions

Pull Request - State: closed - Opened by CohenCyril almost 4 years ago

#25 - Update .travis.yml

Pull Request - State: closed - Opened by CohenCyril almost 4 years ago

#24 - Selecting a precise occurence to rewrite

Pull Request - State: closed - Opened by CohenCyril almost 4 years ago

#23 - ignore .vos and .vok files

Pull Request - State: closed - Opened by ybertot almost 4 years ago

#22 - [opam] simplify pinning local opam file

Pull Request - State: closed - Opened by chdoc over 4 years ago - 3 comments

#21 - patch for the long_short_suffixes PR 473 of mathcomp

Pull Request - State: closed - Opened by affeldt-aist over 4 years ago

#20 - Fix for math-comp/math-comp#399

Pull Request - State: closed - Opened by CohenCyril almost 5 years ago - 1 comment

#19 - Fix for math-comp/math-comp#270

Pull Request - State: closed - Opened by pi8027 about 5 years ago - 2 comments

#18 - Follow the change of `ltngtP` in MathComp

Pull Request - State: closed - Opened by pi8027 about 5 years ago - 1 comment

#17 - fix for math-comp/math-comp#270

Pull Request - State: closed - Opened by CohenCyril over 5 years ago

#16 - fix for math-comp #270

Pull Request - State: closed - Opened by CohenCyril over 5 years ago

#15 - adapt to renaming of `seq` permutations lemmas

Pull Request - State: closed - Opened by ggonthier over 5 years ago

#14 - suppress use of `Arith` hints

Pull Request - State: closed - Opened by ggonthier over 5 years ago - 3 comments

#13 - propagate `seq` renaming from math-comp/math-comp#342

Pull Request - State: closed - Opened by ggonthier over 5 years ago

#12 - Opam2

Pull Request - State: closed - Opened by gares over 5 years ago - 4 comments

#11 - Update the "opam switch" command & Add missing quoting backslashes

Pull Request - State: closed - Opened by erikmd over 5 years ago

#10 - Please add the opam package to https://github.com/coq/opam-coq-archive

Issue - State: closed - Opened by gares over 5 years ago - 8 comments

#9 - fix wrt math-comp/math-comp#324

Pull Request - State: closed - Opened by CohenCyril over 5 years ago

#8 - Replace all the CoInductives with Variants

Pull Request - State: closed - Opened by pi8027 over 5 years ago

#7 - [travis] [ci] Use math-comp docker images.

Pull Request - State: closed - Opened by ejgallego over 5 years ago - 2 comments

#6 - [ci] run on 8.9

Pull Request - State: closed - Opened by gares over 5 years ago - 2 comments

#5 - fix for coq/coq#9341

Pull Request - State: closed - Opened by gares over 5 years ago - 2 comments

#4 - [nit] Fix two typos in the main file.

Pull Request - State: closed - Opened by ejgallego almost 6 years ago

#3 - [ci] Add Travis file.

Pull Request - State: closed - Opened by ejgallego almost 6 years ago - 4 comments

#2 - [coq] Update to work with Coq and math-comp master.

Pull Request - State: closed - Opened by ejgallego almost 6 years ago - 3 comments

#1 - README copies too much from odd-order

Issue - State: closed - Opened by PatrickMassot almost 6 years ago - 1 comment

GitHub / coq-community/fourcolor issues and pull requests