wimmers/push-tasks

Issues

• Using the same Task multiple times in a Contest

  #4 opened 3 years ago by maxhaslbeck
  0

• Provide Wheel to Install via Pip

  #2 opened 4 years ago by Dacit
  1

• Improve usage with multiple proof assistants

  #1 opened 4 years ago by wimmers
  1