Reference Manual

Version 8.4pl5


The Coq Development Team




  • V7.x © INRIA 1999-2004
  • V8.0 © INRIA 2004-2008
  • V8.1 © INRIA 2006-2011
  • V8.2 © INRIA 2008-2011
  • V8.3 © INRIA 2010-2011
  • V8.4 © INRIA 2012-2014

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

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.