@@ -0,0 +1,247 @@
+class CoqState():%0A    def __init__(self, text, isProof=False):%0A        self._isProof = isProof%0A        self.data = text%0A        self.goal = None%0A%0A    def isProof(self):%0A        return self._isProof%0A%0A    def getGoal(self):%0A        return self.goal%0A

add eval/coqState.py