| b1ecbf5c75ae7e6f12e199064ef3c592518abd9b |
|
19-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Remove MathServ from testing
MathServ is a prover we interface with over HTTP. This is pretty brittle
as can be seen now with MathServ being offline.
Vampire is being called via MathServ and thus also removed. |