theoremproving machine

[计] 定理证明机

Examples