PanLinx
русский
rus-000
доказательство методом перебора вариантов
English
eng-000
enumerative reasoning
PanLex