Tag: Yves Bertot

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 2004th Edition by Yves...

Theory January 6, 2023

Ebook Info Published: 2004 Number of pages: 500 pages Format: PDF File Size: 5.06 MB Authors: Yves...

Read more

Advertisement

spot_img