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.

Workflow runs completed with no jobs