Заметка об автоматических доказательствах

Читаю книжку Зорича по мататану, освежаю в памяти и, так сказать, ностальгирую :) Решил просто сделать заметку для себя по ходу чтения, вдруг кому еще пригодится)

За подробностями сюда: https://vk.com/progresscubezelenograd?w=wall-181365780_8386

Видео Заметка об автоматических доказательствах канала Андрей Кубик