Skip to main content

Lean prover mathlib supporting tools.

Project description


Test on Linux Test on MacOS Test on Windows

This package contains leanproject, a supporting tool for Lean mathlib.


In principle, you should install those tools as part of the global Lean installation procedure recommended by the Lean community. Read what what remains of this section only if you want more details about this specific part of the procedure (the tools described here won't give you anything if Lean itself is not available).

Released version

The tools in this repository use python3, at least python 3.6, which is the oldest version of python supported by the python foundation. They can be installed using pip. The basic install command for the latest released version is thus:

pip install mathlibtools

Depending on your setup pip may be called pip3 to distinguish it from its deprecated python2 version. The above command may complain about permissions. This can be solved by running it as root, but this is not recommended in general. You can run pip install --user mathlibtools to install it in your home directory, and then make sure that $HOME/.local/bin/ is in your shell path.

Alternatively, a convenient way to hide those issues is to use pipx. On Linux, you can do:

python3 -m pip install --user pipx
python3 -m pipx ensurepath
source ~/.profile
pipx install mathlibtools

and on MacOS

brew install gmp coreutils python3 pipx
pipx ensurepath
source ~/.bash_profile
pipx install mathlibtools

If you are using NixOS, you can also install mathlib tools using the bundled default.nix file:

nix-env -if

Development version

If you want to use the latest development version, you can clone this repository, go to the repository folder, and run pip install ..


See the dedicated page on the community website.

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for mathlibtools, version 1.0.0
Filename, size File type Python version Upload date Hashes
Filename, size mathlibtools-1.0.0-py3-none-any.whl (22.4 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size mathlibtools-1.0.0.tar.gz (17.2 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page