Protocol equivalence

added 1 commit

added 1 commit

added 6 commits

946ba572 - 1 commit from branch master
8ab4d515 - Initial lemma. Need to improve telescope approach for application purposes
b21816e8 - Added an equivalence lemma for iProto_choice
c676b529 - Made equivalence lemma more applicable using typeclass resolution
a10b384d - Used equivalence lemma for iProto_message for proof of choice_equiv
b4f1cb2c - Added an example of choice equivalence

merged

mentioned in commit 4e300200

Merge request reports