相关疑难解决方法(0)

实例搜索限制

实例论证机制在旧论文和Agda维基中描述.这些消息来源没有提到一些值得注意的事实吗？实例搜索有哪些限制？

2
推荐指数

1
解决办法

127
查看次数

标签统计

agda ×1