[console_scripts]
proven = proven:main
proven-judge = proven:main
