bitcoin-mcrl2

★ 0 updated 12y ago ▣ archived

Simple implementation of the Bitcoin protocol in mCRL2.

No plain-English explanation yet — one is being written right now. Check back in a minute.