Amazon Web Services, ATP, Bard, Containerization, Eprover, heuristic, interpretations, logic, merging, StarExec, TPTP2, verification.