Token project exercises

Contents:

• Introduction
• 0. Warm up
• 1. A property to check the initial balance of a new account
• 2. Effect of transfer on the balances of various addresses
• 3. transfer under insufficient funds
• 4. Specs for mint and burn
• 5. Assessing your specs through mutation testing