История изменений
Исправление hateyoufeel, (текущая версия) :
Ну и чего, чем там всё закончилось?
Пока ничем. На главной он всё ещё Coq: https://coq.inria.fr/
А то я хотел установить CoqIDE, читал статью https://wiki.gentoo.org/wiki/Coq и не понял, как это сделать…
Skill issue lmao
Исходная версия hateyoufeel, :
Ну и чего, чем там всё закончилось?
Переименованием.
А то я хотел установить CoqIDE, читал статью https://wiki.gentoo.org/wiki/Coq и не понял, как это сделать…
Skill issue lmao