Skip to content

Stop using "Proof term" in output test - #191

Merged
SkySkimmer merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:proof-term
Jul 11, 2025
Merged

Stop using "Proof term" in output test#191
SkySkimmer merged 1 commit into
rocq-prover:masterfrom
SkySkimmer:proof-term

Stop using "Proof term" in output test

ec400f6
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.