Descrição
Checagem de provas construtivas pode usar Tutch para validar exercícios de prova formal. Ele ajuda estudantes, educadores e pesquisadores a verificar scripts de prova em disciplinas ou experimentos de lógica.
Execute `tutch` no terminal com arquivos de prova confiáveis. Ele lê arquivos locais e relata erros de prova; não substitui revisão do argumento matemático subjacente.