Skip to content

cbn: use delayed substitution#22035

Open
Janno wants to merge 1 commit into
rocq-prover:masterfrom
Janno:janno/cbn-delayed-subst
Open

cbn: use delayed substitution#22035
Janno wants to merge 1 commit into
rocq-prover:masterfrom
Janno:janno/cbn-delayed-subst

cbn delayed subst

291a8e5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux (latest OCaml)
succeeded Jun 16, 2026 in 6m 37s