PanLinx
русский
rus-000
строго доказанный
English
eng-000
rigorously proven
PanLex
