tests/plugin/SnakeLinter.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


          
            
            SnakeLinter.lean:4:4: error: linter snakeLinter failed: SNAKES!!