Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Aug 3, 2025

document tactics/tactics.mli
MathisBD
committed

Commits on Aug 2, 2025

Rewrite binders paragraphs in terms of match notation
ia0
committed
Merge PR #20937: Update the behaviour of mutual_fix and mutual_cofix

coqbot-app[bot]
and
ppedrot
authored

Commits on Jul 29, 2025

Merge PR #20926: Split some primitive notation code from notation.ml

coqbot-app[bot]
and
proux01
authored
Merge PR #20945: Fixes #20940: anomaly List.chop in the presence of projections with not enough argument scopes

coqbot-app[bot]
and
proux01
authored
Merge PR #20946: Fixes #15815: Anomaly List.chop with extra projection parameters in a notation.

coqbot-app[bot]
and
proux01
authored
Merge PR #20955: Fix rocq shim invoking rocqchk when it was found in PATH

coqbot-app[bot]
and
proux01
authored
Split some primitive notation code from notation.ml

SkySkimmer
authored and
proux01
committed
Merge PR #20962: Streams don't use Stream.Failure for control flow

coqbot-app[bot]
and
proux01
authored
Merge PR #20838: Ubuntu 20.04 is EOL (move base to 22.04)

coqbot-app[bot]
and
proux01
authored

Commits on Jul 28, 2025