lean4安装后测试代码
lean4安装后测试代码
git clone firc-dataset
发布于 2025-07-22 13:01:37
发布于 2025-07-22 13:01:37
步骤如下：
新建个文件夹，然后进入文件夹新建个
test.lean
内容输入：
#eval Lean.versionString
#eval 1+1
然后新建个文件名lean-toolchain
内容如下：
leanprover/lean4:v4.13.0-rc3
注意必须要和自己安装lean4版本对应
截图：
右侧可以出现结果
本文参与 腾讯云自媒体同步曝光计划，分享自作者个人站点/博客。
原始发表：2024-10-18，如有侵权请联系 cloudcommunity@tencent.com 删除
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号