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.
Sign in for the full log view

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