Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /

Bibliographic Details

Main Author:	Bertot, Yves
Other Authors:	Castéran, P. (Pierre)
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Texts in theoretical computer science.
Subjects:	Automatic theorem proving. Computer programming.