This directory houses various examples of contract morphisms, bisimulations, and contract systems at work.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory houses various examples of contract morphisms, bisimulations, and contract systems at work.