(self)
| 82 | return self._handle |
| 83 | |
| 84 | def is_solved(self) -> bool: |
| 85 | return self._kernel._lib.leanpy_kernel_goal_is_solved(self._handle) |
| 86 | |
| 87 | def n_goals(self) -> int: |
| 88 | return int(self._kernel._lib.leanpy_kernel_goal_n_goals(self._handle)) |
no outgoing calls