Вопросы по рубрикам
C++
JavaScript
PHP
WordPress
HTML
Советы
Задать вопрос
По тегам
Главная
»
Записи по метке:
coq
Записи с меткой "coq"
проверка — есть ли способ доказать свойства моих программ на C ++?
статический анализ — Строгое доказательство свойства следующего кода C ++?
использовать абстракцию, определенную в Coq, для построения более богатого типа в Stack Overflow