This project is part of an examination of the lecture "Formal Methods" of the Human Centered Computing course at Reutlingen University of Applied Sciences.
Python 3.7 should be installed.
Run the following to install all dependencies
pip install -r requirements.txt
Execute with
python mnistClassifierKnn.py