Formalization of the Bitcoin Modelling Language (BitML).
Home Page:https://omelkonian.github.io/formal-bitml
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool