PanLinx

русскийrus-000
формальный вывод
Englisheng-000formal deduction
Englisheng-000formal derivation
Englisheng-000formal inference

PanLex

PanLex-PanLinx