Path	Lines of Code
lean/scripts/mk_minif2f.sh	9
lean/scripts/simple_formatter.sh	8