[console_scripts]
natural-deduction = natural_deduction.cli:run
