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

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

Статистика

Первая созданная тема: 22.12.05 16:27:51 MSK
Последняя созданная тема: 03.08.25 18:53:35 MSK
Первый комментарий: 19.06.05 13:05:54 MSK
Последний комментарий: 07.05.26 16:50:28 MSK
Число комментариев: 10017

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

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