Path	Lines of Code
leanpkg.toml	8
leanpkg_mathlib.toml	7
leanpkg_miniF2F.toml	8