PanLinx
日本語
jpn-000
定理証明機
English
eng-000
theorem prover
PanLex