T
theprover
Обо мне
Исследую математику и информационные технологии. Анализирую и пишу код на различных языках программирования. Веду сообщество «Доказатель» на платформе VK.
Зарегистрирован 6 Апреля 2025
Популярные репозитории
0
0
год назад
0 активностей за последний год
Меньше
Больше
- год назад
- theproverСоздан репозиторий theprover/formaralisгод назад