prooving的意思|示意

---

prooving相关短语

1、 Automatic theorem prooving 自动定理证明