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