Deduce: Um verificador de prova para fins educacionais

Deduce é um verificador de prova automatizado projetado para educação, ajudando os alunos a aprender a provar a correção de programas funcionais, aprofundar sua compreensão da lógica e melhorar suas habilidades de escrita de provas matemáticas. É destinado a alunos com habilidades básicas de programação (Java, Python ou C++) e alguma experiência em lógica de um curso de matemática discreta. O Deduce fornece recursos que vão desde a instalação e a escrita de código até um manual de referência e uma folha de dicas, com uma prova de exemplo de um algoritmo de busca linear para ilustrar seu uso.