Coq
Всего сообщений: 17
См. также:Форум
Февраль 2024
- Talks Coq переименовывается в Rocq (41 комментарий)
2021
- Talks Coq переименуют (48 комментариев)
2018
- Talks Накидайте книжек по теории типов (33 комментария)
2016
- Development Является ли логика первого порядка Тьюринг-полной? (132 комментария)
- Development Пруф чекеры (13 комментариев)
2014
- Development Tech Talks @NSU — Автоматическое доказательство теорем (7 комментариев)
2013
- Development Вышла бумажная книга «CPDT» (15 комментариев)
- General Автоматическая проверка выводимости высказывания в заданной формальной теории (3 комментария)
- Development ЯПЗТ для изучения (5 комментариев)
- Development Programming Languages Software Award (23 комментария)
- Development Формальная верификация (13 комментариев)
2012
- Development где можно применить на практике всю мощь dependent types? (43 комментария)
2011
- Development agda или coq? (23 комментария)
Галерея
Маргинальщина во все поля
ymn,
(101 комментарий)