Skip to content

use RelationClasses instead of Relations_1 in Sorting - #152

Open
andres-erbsen wants to merge 1 commit into
rocq-prover:masterfrom
andres-erbsen:Sorting-RelationClasses
Open

use RelationClasses instead of Relations_1 in Sorting#152
andres-erbsen wants to merge 1 commit into
rocq-prover:masterfrom
andres-erbsen:Sorting-RelationClasses

use RelationClasses instead of Relations_1 in Sorting

5797fbe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs