25 Formalisation

File Exercises-formalisation.txt not found.