摘要: 按照 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)