PanLinx
English
eng-000
theorem prover
普通话
cmn-000
定理证明程序
日本語
jpn-000
定理証明機
PanLex