Hey @violet-day! The modules are under the os user folder in .lean\modules We can adjust the lean cli to test the zips/nupkg to be used and reinstall if corrupt. -> use ZipFile.testzip() on install ...

i met the same problem.At first i thought it was because i hadn't run setup.py but had directly downloaded the github file.Although i ran it for a long time,i still couldn't find it.

1. What is the main purpose of the Modules environment? Environment modules allow you to easily adapt your shell's environment (PATH, MANPATH, INCLUDE, LD_LIBRARY_PATH, etc.) to your needs. Use the ...