请问命令行工具的版本(lean -V)?建议先升级到最新版本(1.2)。

哦哦。好的,谢谢