Educational Content

[ehildenb]

Goal is to make it possible for Solidity dev to learn some basic formal methods in a practical way. Making educational resource here: https://github.com/WilfredTA/formal-methods-curriculum

• [x] #269
• [ ] Course part 4 in final-ish draft form.
• [ ] Finish K examples of simple smart contracts.
• [ ] Have a single example which goes through on all the tools we care about.