gpt4 book ai didi

coq - 在Coq中找到类似++的定义和符号

转载 作者:行者123 更新时间:2023-12-03 13:56:17 27 4
gpt4 key购买 nike

我们如何获得"+""++"List等符号的定义/类型?

我试过了:Search ++Search "++"Search (++)
SearchAbout ...Check ++Check "++"Check(++)

他们都没有工作...
SearchAbout "++"确实显示了一些信息,但没有显示"++"的定义。

最佳答案

做:

Locate "++".

查找符号。

然后,您可以 Print / Check表示实际的术语。

关于coq - 在Coq中找到类似++的定义和符号,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26029594/

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