[console_scripts]
zero-mathlib-checker = zero_mathlib_checker.cli:main
