Skip to content

Deprecate Relation_definitions, remove from supported files#162

Open
andres-erbsen wants to merge 4 commits into
rocq-prover:masterfrom
andres-erbsen:deprecate-relations
Open

Deprecate Relation_definitions, remove from supported files#162
andres-erbsen wants to merge 4 commits into
rocq-prover:masterfrom
andres-erbsen:deprecate-relations

fixup! typo in default.nix

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