Исправление zendrz, (текущая версия) :
которые в конечном итоге не учились / не использовали Coq из-за его названия
Пацталом. Ну конечно, именно из-за названия!
Если что, там такой матан, что название проекта это такая мелочь, и я удивлён, что они не решили переменовать «члены» в многочленах.
Как можно после таких выкрутасов всерьез относится к этим «полезным» инициативам? Или это троллинг такой опоздавший к 1 апреля?
Исправление zendrz, :
которые в конечном итоге не учились / не использовали Coq из-за его названия
Пацталом. Ага, именно из-за названия.
Если что, там такой матан, что название проекта это такая мелочь, и я удивлён, что они не решили переменовать «члены» в многочленах.
Как можно после таких выкрутасов всерьез относится к этим «полезным» инициативам? Или это троллинг такой опоздавший к 1 апреля?
Исходная версия zendrz, :
которые в конечном итоге не учились / не использовали Coq из-за его названия
Пацталом. Ага, именно из-за названия.
Если что, там такой матан, что название проекта это такая мелочь, и я удивлён, что они не решили переменовать «члены» в многочленах.