Introducing plori

A maintainer's guide to the plori plugin: what it does, who it helps, and how it pairs with Guard.

Trust Before Install: Why We Built HOL Guard