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