LINUX.ORG.RU

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

Регистрация

ID: 20821
Nick: AndreyKl
Полное имя: Andrey
Последнее посещение:
Статус: ★★★
Избранные теги: agda, coq, haskell

Статистика

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

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

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