Skip to content

Adapt with respect to rocq-prover/rocq#21371#2332

Merged
jdchristensen merged 3 commits into
HoTT:masterfrom
tabareau:sortpoly-equality
Nov 29, 2025
Merged

Adapt with respect to rocq-prover/rocq#21371#2332
jdchristensen merged 3 commits into
HoTT:masterfrom
tabareau:sortpoly-equality

Overture.v: update TODO about registering lemmas for rewriting

704649d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.