ผู้เขียน: Yves Bertot

สนับสนุน

3 หนังสืออิเล็กทรอนิกส์โดย Yves Bertot

Yves Bertot & Pierre Casteran: Interactive Theorem Proving and Program Development
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 o …
PDF
อังกฤษ
DRM
€89.31