Lean prover mathlib supporting tools.
Project description
mathlib-tools
This package contains leanproject
, a supporting tool for Lean mathlib.
Installation
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).
Those tools use python3, at least python 3.5, which is the oldest version of python supported by the python foundation. They can be installed using pip. The basic install command 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 (this requires python 3.6 or newer). 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 https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
If you want to use the latest development version, you can clone this
repository, go to the repository folder, and run pip install .
.
Usage
See the dedicated page on the community website.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for mathlibtools-0.0.10-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7f4d6d6862df22d7326bca67e8c93ad095009488e0685320848d477fbb4bc620 |
|
MD5 | fb7818194864f68c218b2b96767db2a5 |
|
BLAKE2b-256 | 370d12c9ed4e0cf39dd0446d2070b137646c8156fffe9a9954ef8d58ab5f14d8 |