Сообщество

Репозиторий проекта находится на GitHub’е: https://github.com/suhr/tmath.

Вопрос по теории типов можно задать в чате «Зависимые типы в массы!» в Telegram: https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ.