The Coq Proof Assistant
Reference Manual



Version trunk 1





The Coq Development Team
TypiCal Project (formerly LogiCal)









V7.x © INRIA 1999-2004
V8.0 © INRIA 2004-2006
V8.1 © INRIA 2006-2008
V8.2 © INRIA 2008
This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub). Options A and B are not elected.


1
This research was partly supported by IST working group ``Types''