Readme
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).
pipxThe 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:
python3 -m pip install mathlibtools
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 python3 -m pip install --user mathlibtools to install it in your
home directory (make sure that $HOME/.local/bin/ is on your shell path
afterwards), but an even better way is to use
pipx:
python3 -m pip install --user pipx
python3 -m pipx ensurepath
source ~/.profile
pipx install mathlibtools
macOSIf you are on macOS, the recommended way to install is via homebrew, which will handle the above Python installation for you:
brew install mathlibtools
NixOSIf 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 ..
See the dedicated page on the community website.
FAQs
Lean prover mathlib supporting tools.
We found that mathlibtools demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
NIST's new AI Risk Management Framework aims to enhance the security and reliability of generative AI systems and address the unique challenges of malicious AI exploits.
Security News
This episode of the Risky Biz podcast discusses how the rise of small open source packages and the shift towards individual maintainers makes the ecosystem more vulnerable to supply chain attacks.
Product
Streamline your login process and enhance security by enabling Single Sign-On (SSO) on the Socket platform, now available for all customers on the Enterprise plan, supporting 20+ identity providers.