[console_scripts]
machinechecked = prooflens.cli:main
prooflens = prooflens.cli:main
