Skip to content

Adapt to rocq-prover/rocq#21417#569

Draft
mattam82 wants to merge 1 commit into
math-comp:masterfrom
mattam82:elab-elim-constraints
Draft

Adapt to rocq-prover/rocq#21417#569
mattam82 wants to merge 1 commit into
math-comp:masterfrom
mattam82:elab-elim-constraints

Fix output tests

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