Описание
Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
Канал: 888 подписчиков, растёт на 0,1 % в неделю, цитировали 17 площадок за всё время.
Подробная статистика →данные витрины на 07.10.2026 15:59 UTC
Типканал
ID1343824746
Участники888