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