Автоматическое доказательство теорем

  

Некоммерческий проект. Сделан в рамках НИРС. Программа строит логическое рассуждение, имитируя действия человека при доказательстве теорем.