Skip to content

Script_ir_translator: 19 - 23 proved.

Natasha Klaus requested to merge translator-simulations-30-39 into master

Proved 5 lemmas from issue #135 : dep_check_dupable_comparable_ty_eq
dep_check_dupable_ty_eq dep_default_ty_eq_error_eq dep_comparable_ty_eq_eq dep_ty_eq_eq

Edited by Natasha Klaus

Merge request reports