coq
在某些Coq理论中,(a:b)c和[a:b] c是什么意思,它的定义在哪里?
编程 • 回复了问题 • 45 人关注 • 2 个回复 • 104 次浏览 • 2020-03-14 00:02
模式匹配不是专业类型
编程 • 回复了问题 • 90 人关注 • 3 个回复 • 39 次浏览 • 2020-01-25 21:34
分号在Coq中的奇怪行为
编程 • 回复了问题 • 11 人关注 • 2 个回复 • 39 次浏览 • 2020-01-24 14:39
编程 • 回复了问题 • 45 人关注 • 2 个回复 • 104 次浏览 • 2020-03-14 00:02
编程 • 回复了问题 • 90 人关注 • 3 个回复 • 39 次浏览 • 2020-01-25 21:34
编程 • 回复了问题 • 11 人关注 • 2 个回复 • 39 次浏览 • 2020-01-24 14:39