For numerous reasons I decided to attempt a local installation of Lean using the new Lean CLI. I'm at the point where I've just finished setting up the docker container and I can access it via localhost:8888. I ran it via: “lean research ”Expected Range"" and I've encountered another issue. My “Libraries” (as in other projects) are not accessible to the JupyterLab notebook in the same way the Algorithm Lab/Online Research links to them. See this image for my setup:

71317_1624562647.jpgLibrary/Project Configuration

As you can see, there are only two files in the actual project: “expected_range.ipynb” and “main.py”. All of the other folders are linked projects (Libraries). Now, look at what my local installation shows:

71317_1624562814.jpgLocal JupyterLab notebook

These Libraries are now missing and I don't know how to include them. I would think that QC would store that info in the config.json file which seems to be hidden in the Algorithm Lab but available in the local installation (after “lean cloud pull”).