Published October 22, 2019
| Version 1.0.0
Software
Open
EMTST - Engineering Meta-theory of Session Types
Description
A Coq library to implement and reason about Session types. Together with a subject reduction for binary session types.
Files
Files
(82.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6225060d8c1ec974f62e1f94266c9080
|
82.0 kB | Download |