Add formal verification of multiparty choreography types and projection - #32
Open
ib823 wants to merge 1 commit into
Open
Add formal verification of multiparty choreography types and projection#32ib823 wants to merge 1 commit into
ib823 wants to merge 1 commit into