Jekyll2026-04-20T20:15:43+00:00https://tom111.github.io/BEI-lean/feed.xmlLean formalization of Herzog et al. (2010)