Julia Markus HimmelJulia Markus Himmel's blog, mostly about formal verification, in particular in the programming language Lean.https://juliahimmel.de/feed.xml2026-07-14T00:00:00ZJulia Markus HimmelAn underappreciated Lean featurehttps://juliahimmel.de/blog/an-underappreciated-lean-feature/2026-07-14T00:00:00ZFloats in Lean 4.33https://juliahimmel.de/blog/float-qanda/2026-06-19T00:00:00ZMy first verified (imperative) programhttps://juliahimmel.de/blog/my-first-verified-imperative-program/2025-07-06T00:00:00ZFreyd-Mitchell and Gabriel-Popescuhttps://juliahimmel.de/blog/freyd-mitchell/2025-06-21T00:00:00ZLean has iterators nowhttps://juliahimmel.de/blog/iterators/2025-06-12T00:00:00ZThe largest divisorhttps://juliahimmel.de/blog/the-largest-divisor/2025-06-09T00:00:00Z