Documentação em HTML e PDF para o assistente de provas Coq
