Coq
loading
·
loading
·
Coq 证明几何不等式
·267 字·1 分钟·
loading
·
loading
Algorithms
Mathematical
Math
Coq
一开始是想形式化几何不等式（均值不等式），然后想用来证明一些