HOL (proof assistant)
[ru] HOL