PanLinx
русский
rus-000
доказуемая секвенция
English
eng-000
provable sequent
PanLex