This project is a utility for the Proof Ground interactive theorem proving competition system.
The tool can automatically push tasks to the competition system.
A task.yaml file specifies the meta information of the task (see the sample file).
Files that correspond to the task are automatically detected and uploaded.
- via
pip:pip install proofground-push-tasks - build from Source (Python 3):
python3 -m build
Running proofground-push-tasks -h displays usage information.