Reference Manual
Version COQVERSION
The Coq Development Team
Copyright © 1999-2019, Inria, CNRS and contributors
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.