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 MarkHoo 阅读(17) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示