PanLinx
русский
rus-000
неявная секвенция
English
eng-000
implicit sequent
PanLex
