Reference Manual

Version 8.7.0


The Coq Development Team




Copyright © INRIA 1999-2017

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.