КатегорииДобавить

Covalue

Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
22
629
11 окт 2024
Релевантные каналы и боты