Skip to content

Add Printing Reversible flags: check printed terms reparse to equal terms, escalating printing options when not - #22283

Open
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:reversible-printing-options
Open

Add Printing Reversible flags: check printed terms reparse to equal terms, escalating printing options when not#22283
JasonGross wants to merge 1 commit into
rocq-prover:masterfrom
JasonGross:reversible-printing-options

Add Printing Reversible flags: check printed terms reparse to equal t…

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

Annotations

1 error and 1 warning
Windows
failed Jul 27, 2026 in 5m 0s