GitHub repository: ConstantinRuhdorfer/E-Evaluation
Primary language: Python
Created: 2020-02-05T14:48:31Z
Description: Script template for comparing two different eprover versions using pyprove http://www.eprover.org/.