Skip to content

Draft: Proving compatibility comparable_ty_of_ty

Natasha Klaus requested to merge 6_04_ty_of_comparable_ty_compatible into master

Fixpoint comparable_ty_of_ty_ty_of_comparable_ty_compatible and it's counterpart

Merge request reports