Исправление Nervous, (текущая версия) :
Надо форкнуть Rocq и назвать Coq
Потом форкнуть ещё два раза, назвать Diq и Fuq. Чтобы наверняка.
Исправление Nervous, :
Надо форкнуть Rocq и назвать Coq
Потом форкнуть ещё два раза, назвать Diq и Fuq.
Исходная версия Nervous, :
Надо форкнуть Rocq и назвать Coq
Потом форкнуть ещё два раза, назвать Diq и Faq.