Descrição
Fornece um toolkit para criar sistemas de automação de provas em Haskell. Automação de provas ajuda software a apoiar raciocínio formal, prova de teoremas ou tarefas de verificação.
É útil para ferramentas de pesquisa, métodos formais, experimentos de sistemas de tipos e bibliotecas voltadas a verificação. É uma biblioteca avançada para desenvolvedores e não uma interface final de provador de teoremas.