Uma introdução ao assistente de provas Coq. Página e material de um curso introdutório sobre o assistente de provas Coq.