logic-blockchains

Let's get down to business...

Setup: Install alloy (http://alloytools.org/download.html)

Blockchain: Super interesting blockchain stuff

Needham-Schroeder: Super interesting key stuff