gpt4 book ai didi

coq - coq 中自然数的欧几里德划分

转载 作者:行者123 更新时间:2023-12-04 21:20:01 26 4
gpt4 key购买 nike

Coq 标准库中是否有对自然数进行欧几里德除法的函数?我一直无法找到一个。如果没有,那么从数学上讲,是否有理由不应该有一个?

我想要这个的原因是因为我试图将一个列表分成两个较小的列表。我希望一个列表的大小大约是另一个列表的一半,所以我正在计算 (length xs)/2。

最佳答案

关于coq - coq 中自然数的欧几里德划分,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13794513/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com