Coq 8.13.0已发布

Enrico Tassi在2021年1月7日提交重点：对符号处理的许多改进，包括数字符号，递归符号和带绑定的符号。 一种新算法选择了可用于打印表达式的最精确的符号，这可能会导致打印行为的变化。