Александр Тарасов
статус · нетворкаю
Я только учусь на программиста, но уже много чего понимаю в математической логике, в частности coq мой главный инструмент. А к нему py и c++
подписчики
0
подписки
0
сетки
0
карьера
