Description
Formal proof theories can be checked for style or quality issues with a linter component.
It is useful for Isabelle projects that want more consistent proof scripts and easier review. Linter findings are guidance, so confirm changes against proof checking before relying on them.