# Larch Prover

> Entity coverage from Web Pulse
> Last updated: 2026-05-26T08:59:12.222510+00:00
> 1 articles mentioning **Larch Prover**

- [Bird–Meertens Formalism](https://wpnews.pro/news/bird-meertens-formalism) — 2026-05-26