小编Fel*_*V10的帖子

我开始学习Lean编程语言https://leanprover.github.io

我发现有函数、结构、if/else 和其他常见的编程命令。

然而，我还没有找到任何可以处理的事情loops。有没有一种方法可以在精益中迭代或重复代码块？类似于其他语言for或while其他语言的东西。如果是这样，请添加语法或示例。

先感谢您。