Covalue
описание
Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
879
подписчиков
Подписчики
879
Сутки
0
0,00%
Неделя
—
Месяц
—
Просмотров на пост
1 745
Вовлечённость
198,5%
Постов в день
0,0
Упоминаний
2
Охват размещения
оценка- 1/24сутки в ленте
- 513
- 1/48двое суток
- 587
- 1/72трое суток
- 634
Справка
- Последний пост
- 24 июл.
- Последнее чтение
- 22:44
- Постов за неделю
- 0
- Всего постов
- 20
- Тип
- открытый
- Язык
- русский
- Категория
- Языки
- В каталоге с
- 12 августа