MathLogic
Выполненые задания:
- Задание №1
- Задание №2
- Задание №3
- Задание №4
- Задание №5
##Запуск домашних заданий
Четвертая задача:
- Считывает доказательство из файла hw4.in
- Записывает переделанное доказательство в файл hw4.out
Язык программирования:
- Python 3
Для приемлимой произодительности надо компилировать с помощью PyPy3: