精益prover mathlib支持工具。
mathlibtools的Python项目详细描述
mathlib工具
此包包含leanproject，它是Lean mathlib的支持工具。在
安装
原则上，您应该将这些工具作为 global Lean installation procedure由精益社区推荐。 如果你想了解更多细节，请阅读本节剩下的内容 关于这个过程的特定部分（这里描述的工具不会给出 你任何东西，如果精益本身是不可用的）。在
发布版本
这个存储库中的工具使用python3，至少python3.6是最古老的 由Python基金会支持的Python版本。他们可以 使用pip安装。基本的 因此，最新发布版本的install命令是：
pip install mathlibtools
根据您的设置， 或者，隐藏这些问题的一个方便方法是使用
pipx。在Linux上，可以执行以下操作： 在MacOS上呢 如果使用的是NixOS，还可以使用捆绑的 如果要使用最新的开发版本，可以克隆此
repository，转到repository文件夹，然后运行 请参见社区网站上的dedicated page。在 标签： 欢迎加入QQ群-->： 979659372
pip可能被称为pip3，以将其与
弃用的python2版本。上述命令可能会抱怨
权限。这可以通过以根用户身份运行来解决，但这不是
一般推荐。您可以运行pip install --user mathlibtools
在主目录中安装，然后确保
^{path>在shellbrew install gmp coreutils python3 pipx
pipx ensurepath
source ~/.bash_profile
pipx install mathlibtools
default.nix文件安装mathlib工具：nix-env -if https://github.com/leanprover-community/mathlib-tools/archive/master.tar.gz
开发版本
pip install .。在使用
推荐PyPI第三方库