"theories/Blockchain.v" did not exist on "c3f21e1bb17e86f597dd6786dc5fc7f46f381441"
WIP: Iteration4
The goal of this iteration is to clean up the existing code in the HotCiv-project following the clean code principles provided by Uncle Bob and Uncle Henrik (Robert Martin and Henrik Bærbak).