Path	Lines of Code
lean/scripts/lint_style.py	234
lean/src/minif2f_import.lean	87
lean/src/valid.lean	2132