GIT repo for class Formele Methoden, Avans TI3 2.4 12-13