[console_scripts]
clear-lean-cache = lean_interact.utils:clear_cache
install-lean = lean_interact.utils:install_lean
