Add formal verification of multiparty choreography types and projection#32

ib823 wants to merge 1 commit intomainib823/proof:mainfrom

claude/coq-choreography-projection-7v8Cxib823/proof:claude/coq-choreography-projection-7v8CxCopy head branch name to clipboard