41554 blogs · [ { "id": "01a08792-2b82-73b7-b805-575f8e5a15a6", "title": "An underappreciated Lean feature", "url": "https://juliahimmel.de/blog/an-underappreciated-lean-feature/", "published_at": "2026-07-14T00:00:00+00:00" }, { "id": "01a08792-2b82-73b7-b805-575f8e7d4266", "title": "Floats in Lean 4.33", "url": "https://juliahimmel.de/blog/float-qanda/", "published_at": "2026-06-19T00:00:00+00:00" }, { "id": "01a08792-2b82-73b7-b805-575f8f121b37", "title": "My first verified (imperative) program", "url": "https://juliahimmel.de/blog/my-first-verified-imperative-program/", "published_at": "2025-07-06T00:00:00+00:00" }, { "id": "01a08792-2b82-73b7-b805-575f8f57e1b5", "title": "Freyd-Mitchell and Gabriel-Popescu", "url": "https://juliahimmel.de/blog/freyd-mitchell/", "published_at": "2025-06-21T00:00:00+00:00" }, { "id": "01a08792-2b82-73b7-b805-575f8f777840", "title": "Lean has iterators now", "url": "https://juliahimmel.de/blog/iterators/", "published_at": "2025-06-12T00:00:00+00:00" }, { "id": "01a08792-2b82-73b7-b805-575f90089f7d", "title": "The largest divisor", "url": "https://juliahimmel.de/blog/the-largest-divisor/", "published_at": "2025-06-09T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/juliahimmel.de/posts