开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >专栏 >lean4安装后测试代码

lean4安装后测试代码

作者头像

云未归来

发布于 2025-07-22 13:01:37

发布于 2025-07-22 13:01:37

1070

举报

步骤如下：

新建个文件夹，然后进入文件夹新建个

test.lean

内容输入：

#eval Lean.versionString

#eval 1+1

然后新建个文件名lean-toolchain

内容如下：

leanprover/lean4:v4.13.0-rc3

注意必须要和自己安装lean4版本对应

截图：

右侧可以出现结果

本文参与腾讯云自媒体同步曝光计划，分享自作者个人站点/博客。

原始发表：2024-10-18，如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自作者个人站点/博客前往查看

如有侵权，请联系 cloudcommunity@tencent.com 删除。

本文参与腾讯云自媒体同步曝光计划，欢迎热爱写作的你一起参与！

评论

登录后参与评论

0 条评论

热度

最新