Skip to content

require Arith and use RelationClasses (for stdlib#150 and stdlib#152) - #821

Closed
andres-erbsen wants to merge 1 commit into
PrincetonUniversity:masterfrom
andres-erbsen:use-RelationClasses
Closed

require Arith and use RelationClasses (for stdlib#150 and stdlib#152)#821
andres-erbsen wants to merge 1 commit into
PrincetonUniversity:masterfrom
andres-erbsen:use-RelationClasses

use RelationClasses instead of old Relations_1 (for rocq-prover/stdli…

0bbf6d6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs