«Interactive Theorem Proving and Program Development» — книга 2004 года.

Содержание

От издателя

«Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a…»

Рецензии

См. также

Ссылки

Book closed template.gif

Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её.