Method load

lean_py/kernel.py:268–269

(self, modules: Iterable[str])

        self._lib.leanpy_kernel_init_search(sp)

    def load(self, modules: Iterable[str]) -> None:
        self._lib.leanpy_kernel_load_env(list(modules))

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