Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/vue.js/6.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Isabelle 伊莎贝尔/霍尔：对于一种类型的任意值，是否有一个简洁的符号？_Isabelle - Fatal编程技术网
Fatal编程技术网
  • isabelle/
  • Isabelle 伊莎贝尔/霍尔：对于一种类型的任意值，是否有一个简洁的符号？

Isabelle 伊莎贝尔/霍尔：对于一种类型的任意值，是否有一个简洁的符号？

isabelle

Isabelle 伊莎贝尔/霍尔：对于一种类型的任意值，是否有一个简洁的符号？,isabelle,Isabelle,在Isabelle/HOL中，我可以通过（SOME.True）来表示任意（但固定）类型的值。是否有更简洁的表示法？未定义 （我希望我能写上面的内容，但答案必须超过9个字符。）

在Isabelle/HOL中，我可以通过
（SOME.True）
来表示任意（但固定）类型的值。是否有更简洁的表示法？

未定义

（我希望我能写上面的内容，但答案必须超过9个字符。）