Обратите внимание: данный сайт не имеет никакого отношения к компании Telegram Messenger LLP, к проекту Ковэлью, его публикациям в Телеграм и другим любым торговым маркам, знакам и названиям товаров, служб и организациям, а только расширяет функционал поиска оригинального приложения Telegram.
Заметки о теории языков программирования, формальной верификации программ, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
Вы можете поделиться каналом Ковэлью в любой социальной сети: