PanLinx
русский
rus-000
язык выводов
English
eng-000
deduction-oriented language
PanLex
