2025年8月4日
rfl：从 lean 开始的异世界生活（2）——安装 lean copilot
摘要： 按照 github repo 的安装方法： 先在 lakefile.lean 中加入 Lean Copilot 作为 dependency，对于 lakefile.toml，可自行查阅 github 上的 readme． package «my-package» { moreLinkArgs := 阅读全文
posted @ 2025-08-04 17:09 383494 阅读(17) 评论(0) 推荐(0)