指南与参考
从安装到完成第一个 Lean 证明，了解如何使用终端、浏览器界面和项目扩展。
选择安装方式，登录后端，然后开始第一个会话。
环境要求、安装方式、升级与常见问题。
CLI、WebUI、目标、会话与定时任务。
证明验证、定理与公理库、Obsidian 图谱。
后端、模型、项目技能与插件。
需要帮助？ 报告问题 · Discord