LINUX.ORG.RU

Информация о пользователе metar

Регистрация

ID: 58856
Nick: metar
Полное имя: Артём
Город: Мадрид
Дата регистрации:
Последнее посещение:
Статус: ★★★
Избранные теги: concurrency, coq, coursera, go, rust, static analysis, verification, параллельные вычисления, функциональное программирование

Статистика

Первая созданная тема:
Последняя созданная тема:
Первый комментарий:
Последний комментарий:
Число комментариев: 1868

Раздел Число тем
Новости 3
Форум 8

Сообщения пользователя