Pinned Repositories
emtst-proof
A subject reduction proof for binary session types
GentleAdventure
A Gentle Adventure Mechanising Message Passing Concurrency Systems
zooid-cmpst
Certified MultiParty Session Types
Engineering the Meta Theory of Session Types's Repositories
emtst/emtst-proof
A subject reduction proof for binary session types
emtst/zooid-cmpst
Certified MultiParty Session Types
emtst/GentleAdventure
A Gentle Adventure Mechanising Message Passing Concurrency Systems