[console_scripts]
refine = lean_refine.cli:main
