Mithrl is a new blockchain based smart contracting platform. It takes the lessons learnt from Bitcoin and Ethereum and approaches the problem from a new direction grounded in mathematics and equational reasoning, to provide stronger guarantees about the safety and security of blockchain based applications.