PyPI recent updates for lean-qi https://pypi.org/project/lean-qi/ Recent updates to the Python Package Index for lean-qi en 0.0.1 https://pypi.org/project/lean-qi/0.0.1/ 一个使用镜像源来快速安装 Lean 的简单工具。 hewzhew@bupt.edu.cn Thu, 26 Jun 2025 19:25:31 GMT