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

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

Город: Днищенск
Дата регистрации: 03.02.19 07:26:17 MSK
Последнее посещение: 09.02.19 11:39:19 MSK
Статус: анонимный

Избранные теги: agda, coq, dotnet, powershell, systemd, wsl, зависимые типы, математика, теория типов

Статистика

Первая созданная тема: 09.02.19 08:22:34 MSK
Последняя созданная тема: 09.02.19 08:22:34 MSK
Первый комментарий: 03.02.19 11:45:13 MSK
Последний комментарий: 09.02.19 11:36:58 MSK
Число комментариев: 6

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

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

Темы
Комментарии