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