[console_scripts]
lean-explore = lean_explore.cli.main:app
