proveParams :: [String]
proveParams = ["timeout", "include", "prover", "translation", "theorems"]
proveParams :: [String]
proveParams = ["timeout", "include", "prover", "translation", "theorems"]
proveParams = ["timeout", "include", "prover", "translation", "theorems"]