Coq

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 комментария)

2020

• Coq 8.12 (16 комментариев)

2019

• Coq 8.9 (51 комментарий)

2016

• Coq 8.5 (131 комментарий)