[console_scripts]
natural-induction = natural_induction.cli:run
