История изменений
Исправление hateyoufeel, (текущая версия) :
Если найдёшь работающий через OOP proof assistant, дай мне знать. Мне было бы любопытно.
Исходная версия hateyoufeel, :
Если найдёшь OOP proof assistant, дай мне знать.
Исправление hateyoufeel, (текущая версия) :
Если найдёшь работающий через OOP proof assistant, дай мне знать. Мне было бы любопытно.
Исходная версия hateyoufeel, :
Если найдёшь OOP proof assistant, дай мне знать.