GitHub repository: omelkonian/formal-utxo
Primary language: Agda
Created: 2018-11-30T11:23:11Z
Description: Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.