Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
Публикации с тегом Coq
CAP, Coq и Евклид +7
CAP-n-Coq. Часть 1. Определения CAP-теоремы +10
Формальная верификация смарт-контрактов во фреймворке ConCert
- Блог компании Positive Technologies
- Информационная безопасность
- Программирование
- Solidity
- Криптовалюты
Подробно о Coq: зависимое сопоставление с образцом +5
Что такое формальная верификация +15
Верификация рекурсивных функций в Coq. Проблема остановки. Горючее +1
COQ: верификация функций, содержащих fold_left +7
Формальная верификация кода на Coq: тактики +4
Как я убеждал блондинку Машу перейти с программирования RTOS в проектирование железа (а также Coq, Lisp и Haskell) +15
- Программирование
- Функциональное программирование
- FPGA
- Программирование микроконтроллеров
- Электроника для начинающих
Мой путь к Magmide +1
Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq +26
- Блог компании Образовательные проекты JetBrains
- Тестирование IT-систем
- Алгоритмы
- Функциональное программирование
Coq — не порок +8
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
