protocol-models Working repo for my attempts at modelling decentralized protocols in the Alloy model checker, to prove certain properties about them.