Skip to content

Add ssreflect to the prelude - #21776

Closed
proux01 wants to merge 4 commits into
rocq-prover:masterfrom
proux01:ssreflect-prelude
Closed

Add ssreflect to the prelude#21776
proux01 wants to merge 4 commits into
rocq-prover:masterfrom
proux01:ssreflect-prelude

Add overlays

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

Annotations

1 warning

The logs for this run have expired and are no longer available.