Search results

Using <code>exfalso</code> and <code>Nat.add</code> for Coq 8.19

Status: Open.

#14 In rocq-community/dblib;

· takeschutte opened on Dec 20, 2024

Address Coq 8.13 deprecation warnings

Status: Open.

#12 In rocq-community/dblib;

· KevOrr opened on Aug 27, 2021

Tactics should be more robust regarding simplification

enhancement

Status: Open.

#9 In rocq-community/dblib;

· KevOrr opened on Oct 18, 2020

Some tactics fail if traverse function is anonymous

bug

Status: Open.

#8 In rocq-community/dblib;

· KevOrr opened on Sep 25, 2019

Release on OPAM/Update Coq Package Index entry

help wanted

question

Status: Open.

#7 In rocq-community/dblib;

· KevOrr opened on Sep 6, 2019

Replication of releases/tags from coq-contribs repository

Status: Open.

#6 In rocq-community/dblib;

· palmskog opened on Jul 25, 2019