【发布时间】：2018-06-08 05:28:07
【问题描述】：
在 Isabelle/HOL 中，我可以用(SOME _. True) 表示任何类型的任意（但固定）值。有没有更简洁的表示法？
【问题讨论】：
标签： isabelle
【发布时间】：2018-06-08 05:28:07
【问题描述】：
undefined
（我希望我可以只写上面的内容，但答案必须超过 9 个字符。）
【讨论】：
【发布时间】：2018-06-08 05:28:07
【问题描述】：
在 Isabelle/HOL 中，我可以用(SOME _. True) 表示任何类型的任意（但固定）值。有没有更简洁的表示法？
【问题讨论】：
标签： isabelle
undefined
（我希望我可以只写上面的内容，但答案必须超过 9 个字符。）
【讨论】：