Files
mathlogic/lab3/programm/requirements.txt