Skip to content

Unify code generation about sorts#52

Open
lweqx wants to merge 18 commits into
rocq-community:masterfrom
lweqx:unified-sorts
Open

Unify code generation about sorts#52
lweqx wants to merge 18 commits into
rocq-community:masterfrom
lweqx:unified-sorts

Unify trocq.db.{pprop, ptype}

890ad57
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.