omelkonian / formal-utxo

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
14Updated last week

Related projects

Alternatives and complementary repositories for formal-utxo