LINUX.ORG.RU

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

Nick: SiegmentationFault
Полное имя: Siegmentation Fault
ID: 167146

Город: Днищенск
Дата регистрации:
Последнее посещение:
Статус: анонимный
Избранные теги: agda, coq, dotnet, powershell, systemd, wsl, зависимые типы, математика, теория типов

Статистика

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

Раздел Число тем
Новости 1

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