Ferramenta para construir sistemas de automação de provas
