Telecharger Cours

Systèmes de Preuves Introduction + Les objets de Coq

Cours n. 1 ? 8 janvier 2010. Introduction. +. Les objets de Coq. Page 2. Benjamin Werner. Chercheur (INRIA) au LIX. Bureau 15, aîle 0, Rdc. Benjamin.Werner ...



Download