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