# HOL system

> Entity coverage from Web Pulse
> Last updated: 2026-05-26T16:06:06.984386+00:00
> 1 articles mentioning **HOL system**

- [50 Years of Proof Assistants](https://wpnews.pro/news/50-years-of-proof-assistants) — 2026-05-26