If I use the local installation of Lean (using Lean CLI), my notebook doesn't have access to my code “Libraries” like I have using in the algorithm lab online.

If I use the online notebook, it uses a cached (prior) version of my codebase and nothing I do seems to update it. For example I commented out a line in one of my classes, ran the notebook and decided to uncomment it after getting an error. Now, no matter how many times I disconnect the kernel, or close/reopen the project/notebook, it always uses the commented out version of my class - even though browsing the file directly shows it's no longer commented.

Author