omelkonian / formal-bitcoin

Formal model of Bitcoin transactions in Agda

Home Page:https://omelkonian.github.io/formal-bitcoin

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

omelkonian/formal-bitcoin Stargazers