[console_scripts]
my-better-isabelle = my_better_isabelle_prover.cli:main
