Исправление peregrine, 03.11.18 17:44 (текущая версия) :
Теорвер не бывает без потока формул. Именно из-за того что он не всегда интуитивен. Самое сложное правильно формализовать задачу.
Исходная версия peregrine, 03.11.18 17:43:
Теорвер не бывает без потока формул. Именно из-за того что он не всегда интуитивен.