A Linter for Isabelle: Implementation and Evaluation. - Yecine Megdiche; Fabian Huch; Lukas Stevens (CoRR, 2022)