Method is_loaded

lean_py/kernel.py:271–272

(self)

        self._lib.leanpy_kernel_load_env(list(modules))

    def is_loaded(self) -> bool:
        return self._lib.leanpy_kernel_is_loaded(None)

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