(self, tactic: 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) |
| 101 | return TacticResult.parse(encoded, self._kernel, next_state) |
| 102 | |
| 103 | def try_assign(self, expr: str) -> TacticResult: |
| 104 | encoded, next_state = self._kernel._lib.leanpy_kernel_goal_try_assign(self._handle, expr) |
no test coverage detected