Descrição
Provas de indução sobre programas Haskell podem ser verificadas com uma ferramenta criada para ensino e validação de etapas de prova. Isso é útil para estudantes, professores ou pesquisadores que trabalham com exercícios de correção em programação funcional.
É um verificador de provas especializado, não um compilador Haskell geral. Usuários precisam entender o formato de prova esperado pelo Check Your Proof antes que ele forneça retorno útil.