Giters

omelkonian / contract-automata

Playground for refinement-style verification of EUTxO smart contracts.

Home Page:https://omelkonian.github.io/contract-automata

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

omelkonian/contract-automata Issues

No issues in this repository yet.