theoremproving system

[计] 定理证明系统