PanLinx
русский
rus-000
дерево доказательства теоремы
English
eng-000
proof tree
PanLex