PanLinx
русский
rus-000
рассуждения на формальном уровне
English
eng-000
formal reasoning
PanLex
