GitHub repository: maxhaslbeck/proving-contest-backends
Primary language: Python
Created: 2018-11-12T16:06:12Z
Description: "proving-contest"-backends for several theorem provers