Push Tasks to Proof Ground

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.

Installation

• via pip: pip install proofground-push-tasks
• build from Source (Python 3): python3 -m build

Usage

Running proofground-push-tasks -h displays usage information.