Coq 变量初始化

我是coq的初学者。 我有一个关于变量操作的问题，例如： 参数x:nat。 我想用0初始化x，然后我想影响5到x，所以我不知道怎么做？。

---

感谢您的帮助。

Coq是一种纯函数式编程语言。没有可变的全局变量。您可以使用Haskell使用的相同技巧对状态建模：单子。

您的问题是什么？请清楚地解释你拥有什么以及你想做什么。