GitHub repository: wimmers/push-tasks
Primary language: Python
Created: 2020-04-17T10:11:14Z
Description: Push tasks to competitions.isabelle.systems