Skip to content

Printing for if <term> is <pattern> then _ else _ syntax#22124

Draft
proux01 wants to merge 4 commits into
rocq-prover:masterfrom
proux01:if-printing
Draft

Printing for if <term> is <pattern> then _ else _ syntax#22124
proux01 wants to merge 4 commits into
rocq-prover:masterfrom
proux01:if-printing

Add overlays

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

Annotations

3 warnings
macOS
succeeded Jun 16, 2026 in 11m 23s