mcrl2 topic

List mcrl2 repositories

plutus-experimental-smart-contracts

34
Stars
8
Forks
Watchers

Experimental Smart Contracts In Plutus.

verified publisher icon robkorn

mpstk

15
Stars
4
Forks
Watchers

Multiparty Session Types toolKit

verified publisher icon alcestes