[console_scripts]
lean4check = lean4check.main:main
