Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 馃挮
Merge requests
!392
Draft: Proving compatibility comparable_ty_of_ty
Code
Review changes
Check out branch
Download
Patches
Plain diff
Natasha Klaus
requested to merge
6_04_ty_of_comparable_ty_compatible
into
master
Apr 06, 2022
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Fixpoint comparable_ty_of_ty_ty_of_comparable_ty_compatible and it's counterpart
Merge request reports