دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
by Yves Bertot
|
عنوان فارسی: تعاملی قضیه اثبات و برنامه توسعه: Coq هنر: حساب دیفرانسیل و انتگرال از استقراء سازه |