Method try_assign

lean_py/kernel.py:103–105

(self, expr: str)

        return TacticResult.parse(encoded, self._kernel, next_state)

    def try_assign(self, expr: str) -> TacticResult:
        encoded, next_state = self._kernel._lib.leanpy_kernel_goal_try_assign(self._handle, expr)
        return TacticResult.parse(encoded, self._kernel, next_state)

    def conv_enter(self) -> TacticResult:
        encoded, next_state = self._kernel._lib.leanpy_kernel_goal_conv_enter(self._handle)