[console_scripts]
proof_frog=proof_frog:main

