首页
标签
totality
通过重复除法进行有根据的递归
这个递归函数不是完全的，还是编译器无法证明它？如何将其重写为总计？
用于程序固定点的 Coq simpl
Coq中有根据的递归
1
2