Reference Manual | The Coq Proof Assistant

The Coq Proof Assistant

# Reference Manual

## Version COQVERSION

## 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
- V8.5 © INRIA 2015-2016
- V8.6 © INRIA 2016

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.