Editor de provas do Sistema Heráclito: Ferramenta de apoio ao Ensino da Dedução Natural na Lógica Proposicional

O presente artigo tem como objetivo apresentar o editor de provas do sistema Heraclito. O Heraclito e um Sistema Tutor Inteligente (STI) voltado para o ensino de logica proposicional para alunos de graduacao em Computacao. Seu editor de provas tem como principal funcionalidade auxiliar na elaboracao de provas de argumentos formais por meio das regras da Deducao Natural. Sua atual versao de interface foi desenvolvida utilizando a tecnica de Test Driven Development (TDD) e seu acesso e feito via Web Browser, de forma a tornar a ferramenta adaptativa, podendo ser acessada atraves de computadores, tablets, celulares e ate mesmo SmartTVs.