PanLinx
日本語
jpn-000
自然演繹
English
eng-000
natural deduction
PanLex