 O coq-doc é uma ferramenta importante para quem trabalha com o assistente de provas Coq. Ele fornece documentação completa em formato HTML e PDF, permitindo que você entenda melhor como usar essa ferramenta poderosa. Com a documentação, você pode aprender a escrever suas próprias provas, entender as regras de inferência e muito mais. Tudo isso está disponível para você com o coq-doc. 