小编Ats_sby的帖子

有没有办法在Coq中禁用特定的符号？

在Coqide中,我希望证明状态不使用某种符号(但仍然使用所有其他符号).

这可能吗？

5
推荐指数

1
解决办法

616
查看次数

标签统计

coq ×1