2025年2月18日
Lean4安装配置
摘要： 打开镜像下载： 上海交通大学镜像 搜索 elan 下载elan和glean elan 下载路径 elan/elan/releases/download/eager-resolution-v2 打开上面下载的 elan-init ，然后输入 1 选择使用 default 将 glean 解压放到用户目 阅读全文
posted @ 2025-02-18 20:56 玄谷 阅读(281) 评论(0) 推荐(0)