Books
Year : 2004
Pierre Castéran : Connect in order to contact the contributor
https://hal.science/hal-00344237
Submitted on : Thursday, December 4, 2008-11:21:45 AM
Last modification on : Friday, November 15, 2024-3:11:49 AM
Dates and versions
Identifiers
- HAL Id : hal-00344237 , version 1
Cite
Pierre Castéran, Yves Bertot. Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.. Springer Verlag, pp.470, 2004, Texts in Theoretical Computer Science. ⟨hal-00344237⟩
Collections
2265
View
0
Download