会员
周边
新闻
博问
闪存
众包
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
玄谷
博客园
首页
新随笔
联系
订阅
管理
02 2025 档案
Lean4安装配置
摘要:打开镜像下载: 上海交通大学镜像 搜索 elan 下载elan和glean elan 下载路径 elan/elan/releases/download/eager-resolution-v2 打开上面下载的 elan-init ,然后输入 1 选择使用 default 将 glean 解压放到用户目
阅读全文
posted @
2025-02-18 20:56
玄谷
阅读(321)
评论(0)
推荐(0)
公告