The Coq Proof Assistant
Reference Manual
Version 8.0
1
The Coq Development Team
LogiCal Project
V7.x ŠINRIA 1999-2004
V8.0 ŠINRIA 2004
1
This research was partly supported by IST working group ``Types''