# LCF

> Entity coverage from Web Pulse
> Last updated: 2026-05-26T16:05:37.442432+00:00
> 1 articles mentioning **LCF**

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