Descrição
Provas formais podem ser construídas e exploradas em um assistente gráfico configurável.
É útil para estudantes e educadores que aprendem lógica, regras de prova e raciocínio formal de forma interativa. Assistentes de prova ajudam a estruturar raciocínio, mas resultados ainda dependem da lógica e das regras configuradas.