Descrição
Teorias de prova formal podem ser verificadas quanto a estilo ou problemas de qualidade por um componente linter.
É útil para projetos Isabelle que querem scripts de prova mais consistentes e revisão mais fácil. Achados de linter são orientação, então confirme mudanças com a verificação de provas antes de confiar nelas.