Namdak Tonpa

Ти не підтвердив, підтвердження очікує тут https://github.com/groupoid

От зараз --- так!

Хай буде два Питомця, не заперечую.

Дуже гарні питання! Наконєц-то, дякую, hell yeah! Якшо дуже просто відповідати і по суті, то: 1) Coq* --- це мінімальна система Групоїд Інфініті у якій можливий сучасний Equational Reasoning на...

На Coq теж можна мови писати на coq.io, це той чувак шо тезос зробив на https://formal.land В нас навіть є репозиторій N2O для Coq https://github.com/o29/ Там приклад CLI на coq.io,...

Це лоббі WhatsApp Community: https://chat.whatsapp.com/CMsXHFdiBMVJLO8fTcqyaR В цьому комюніті є дві групи: `laurent` і `cafe`. В десктоп клієнті це видно як три групові чати: `Groupoid Infinity`, `laurent`, `cafe`. На мобільних клієнтах...

Проти цього всього я протестую: matrix, discord, mattermost, zulip, session. Проблема з ними всіма шо вони садять батарейку. Краще вще Viber :-)

Колись Групоїд Інфініті була в гіттері! Будь ласка: https://app.gitter.im/#/room/#groupoid_cafe:gitter.im

Прийми запрошення будь-ласка.

:-) Ти не розумієш як працює Gitub. Запрошення висить в пулі перманентно, тобі потрібно зайти в бразері за посиланням організації https://github.com/groupoid, там зверху в банері ти побачиш запрошення (при умові,...