PanLinx
普通话
cmn-000
定理的机器证明
English
eng-000
mechanical theorem proving
PanLex
