The Coq Proof Assistant

Reference Manual



Version 7.3 1










The Coq Development Team
LogiCal Project













V7.3,
ŠINRIA 1999-2002