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

Избранные теги: agda, coq, haskell, idris, ocaml, зависимые типы, теория категорий, теория типов, формальная верификация, функциональное программирование

Статистика

Первая созданная тема: 22.12.05 16:27:51 MSK
Последняя созданная тема: 19.09.24 23:57:01 MSK
Первый комментарий: 19.06.05 13:05:54 MSD
Последний комментарий: 01.01.25 02:54:00 MSK
Число комментариев: 9802

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

• Темы
• Комментарии
• Избранные темы