@covalue · 883 subscribers
Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
883
Not enough data for the “Subscribers” chart yet — history is still accumulating.
1.8K
Not enough data for the “Average reach” chart yet — history is still accumulating.
—
Not enough data for the “ER, %” chart yet — history is still accumulating.
