Reference Manual
Version 8.21
The Coq Development Team
- V7.x © INRIA 1999-2004
- V8.0 © INRIA 2004-2006
- V8.1 © INRIA 2006-2008
- V8.2 © INRIA 2008-2009
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''
- V7.x © INRIA 1999-2004
- V8.0 © INRIA 2004-2006
- V8.1 © INRIA 2006-2008
- V8.2 © INRIA 2008-2009
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''