[console_scripts]
leanexplore = lean_explore.cli.main:app
