Method clear

lean_py/kernel.py:274–275

(self)

        return self._lib.leanpy_kernel_is_loaded(None)

    def clear(self) -> None:
        self._lib.leanpy_kernel_clear_env(None)

    # -- env introspection ----------------------------------------------