The Coq Proof Assistant
Reference Manual
Version 7.0
1
The Coq Development Team
Coq Development Project
V7.1,
ŠINRIA 1999-2001