(self)
| 94 | return self._kernel._lib.leanpy_kernel_goal_root_expr(self._handle) |
| 95 | |
| 96 | def pretty(self) -> str: |
| 97 | return self._kernel._lib.leanpy_kernel_goal_pretty(self._handle) |
| 98 | |
| 99 | def try_tactic(self, tactic: str) -> TacticResult: |
| 100 | encoded, next_state = self._kernel._lib.leanpy_kernel_goal_try_tactic(self._handle, tactic) |