Error (re)installing mathlibtools: Fatal error from pip prev

Stream: new members

[Matthias U]

I'm trying to (re)install Lean 3, using the instructions at https://leanprover-community.github.io/lean3/install/debian_details.html
I've arrived at the very last step but pipx install mathlibtoolsyields

    /home/matthias/.local/pipx/logs/cmd_2023-09-05_11.50.06_pip_errors.log

Error installing mathlibtools.

The content of this log file is

PIP STDOUT
----------

PIP STDERR
----------
/home/matthias/.local/pipx/venvs/mathlibtools/bin/python: No module named pip

Does anyone know how to resolve this problem? pip is already installed, though.

[Scott Morrison]

Are you certain you need Lean 3? It is at end-of-life now, and no further work will be done on it.

Happily there is no python in the Lean 4 ecosystem. :-)

[Matthias U]

Yes, I'd like to view a project written in Lean 3

[Matthias U]

Is there an easy way to completely uninstall Lean 3 and everything attached to it? That way, I could try the automatic installation again.