LICENSE
MANIFEST.in
README.md
setup.cfg
setup.py
./leanup/__init__.py
./leanup/const.py
./leanup/paths.py
./leanup/cli/__init__.py
./leanup/cli/assets.py
./leanup/cli/cache_ops.py
./leanup/cli/interaction.py
./leanup/cli/repo.py
./leanup/cli/setup.py
./leanup/cli/toolchains.py
./leanup/ops/__init__.py
./leanup/ops/environment.py
./leanup/repo/__init__.py
./leanup/repo/cache_server.py
./leanup/repo/elan.py
./leanup/repo/manager.py
./leanup/repo/mathlib_cache.py
./leanup/repo/project_setup.py
./leanup/repo/toolchain_cache.py
./leanup/templates/mathlib/Basic.lean.tmpl
./leanup/templates/mathlib/README.md.tmpl
./leanup/templates/mathlib/lakefile.lean.tmpl
./leanup/templates/mathlib/root.lean.tmpl
./leanup/utils/__init__.py
./leanup/utils/basic.py
./leanup/utils/config.py
./leanup/utils/custom_logger.py
./tests/__init__.py
./tests/conftest.py
./tests/test_cli.py
./tests/test_config.py
./tests/test_elan_manager.py
./tests/test_lean_repo.py
./tests/test_mathlib_cache_cli.py
./tests/test_repo_cli.py
./tests/test_resource_cli.py
./tests/test_setup.py
./tests/test_toolchains_cli.py
./tests/test_utils.py
leanup/__init__.py
leanup/const.py
leanup/paths.py
leanup.egg-info/PKG-INFO
leanup.egg-info/SOURCES.txt
leanup.egg-info/dependency_links.txt
leanup.egg-info/entry_points.txt
leanup.egg-info/requires.txt
leanup.egg-info/top_level.txt
leanup/cli/__init__.py
leanup/cli/assets.py
leanup/cli/cache_ops.py
leanup/cli/interaction.py
leanup/cli/repo.py
leanup/cli/setup.py
leanup/cli/toolchains.py
leanup/ops/__init__.py
leanup/ops/environment.py
leanup/repo/__init__.py
leanup/repo/cache_server.py
leanup/repo/elan.py
leanup/repo/manager.py
leanup/repo/mathlib_cache.py
leanup/repo/project_setup.py
leanup/repo/toolchain_cache.py
leanup/templates/mathlib/Basic.lean.tmpl
leanup/templates/mathlib/README.md.tmpl
leanup/templates/mathlib/lakefile.lean.tmpl
leanup/templates/mathlib/root.lean.tmpl
leanup/utils/__init__.py
leanup/utils/basic.py
leanup/utils/config.py
leanup/utils/custom_logger.py
tests/__init__.py
tests/conftest.py
tests/test_cli.py
tests/test_config.py
tests/test_elan_manager.py
tests/test_lean_repo.py
tests/test_mathlib_cache_cli.py
tests/test_repo_cli.py
tests/test_resource_cli.py
tests/test_setup.py
tests/test_toolchains_cli.py
tests/test_utils.py