LeanUp

一个用于管理 Lean 数学证明语言环境的 Python 工具。

功能特性

• leanup mathlib setup：快速创建固定 Lean 版本项目，支持 mathlib 共享缓存
• leanup mathlib list：查看本地或远端 mathlib 共享缓存版本
• leanup mathlib create <version>：在临时目录创建某个 Lean 版本的 mathlib packages 缓存
• leanup mathlib pack <version>：将本地缓存里的 packages 目录打包为共享缓存归档
• leanup mathlib unpack <version>：从本地 archive 解压回 packages 目录
• leanup mathlib get <version>：从 LeanUp 服务下载 packages.tar.gz 并解压到本地缓存
• leanup serve：提供 .ltar 兼容路由和 LeanUp packages 归档下载服务
• leanup toolchains：管理 .elan 基础包和 Lean toolchain 归档
• leanup repo install：安装 Lean 仓库，支持命令优先、交互补参
• leanup repo list：查看已安装仓库

快速开始

查看快速开始开始使用 LeanUp。

开发说明

• 仓库级开发规范见 AGENTS.md 与 DEVELOP.md
• 当前以中文主文档为准，不继续维护英文平行版本
• repo install 当前遵循：缺必要参数自动进入交互，-i 强制交互，-I 禁止交互