The Coq Proof Assistant

Reference Manual



Version 7.2 1










The Coq Development Team
LogiCal Project













V7.2,
ŠINRIA 1999-2001