This repository is for coursework 2 for CM50109 - Formal Methods and Programming.