Tags · rocq-community/corn

8.20.0

Merge pull request #214 from coq-community/coq_19801

Adapt to rocq-prover/rocq#19801

Merge pull request #206 from andres-erbsen/remove-Ndigits

remove unneeded Ndigits dependency (adapt to rocq-prover/rocq#18936)

Merge pull request #201 from coq-community/coq-8.18

Update testing to Coq 8.18.

Update for Coq 8.16 compatibility testing.

Merge pull request #161 from Zimmi48/update-ci-8.13

Update meta.yml and CI to test Coq 8.13.

Merge pull request #128 from coq-community/PlotSubsets

Proof that plots of located subsets cover the subsets

Compiles with 8.8.1

Merge pull request #43 from c-corn/v8.6

V8.6