kepae / alloy-coin

An Alloy Analyzer modeling of the Bitcoin cryptocurrency transaction and blockchain. (WIP)
9Updated 10 years ago

Related projects

Alternatives and complementary repositories for alloy-coin