I installed the Lean CLI and it was all good except for the following:

ERROR: pip's dependency resolver does not currently take into account all the packages that are installed. This behaviour is the source of the following dependency conflicts.
conda-repo-cli 1.0.4 requires pathlib, which is not installed.

Is this a problem? And if so, how do I install pathlib? I tried “pip install pathlib” and that gave me a ton of install errors.

thanks - dave

Author