Contract Automata: Refinement-based verification of EUTxO smart contracts 
Based on Manuel's talk at ScotFest, Edinburgh.
Browse the Agda code in HTML here.
Playground for refinement-style verification of EUTxO smart contracts.
Based on Manuel's talk at ScotFest, Edinburgh.
Browse the Agda code in HTML here.
Playground for refinement-style verification of EUTxO smart contracts.
https://omelkonian.github.io/contract-automata