Julia Markus Himmel
markushimmel.de
A blog about formal verification techniques, with an emphasis on the Lean programming language. The author shares detailed explorations of mathematical proofs and software correctness.
A personal blog documenting explorations in formal verification, with a consistent focus on the Lean theorem prover. The content suits readers interested in mathematical proofs, software reliability, and functional programming. The hands-on examples and clear explanations offer a window into the author's learning process and technical depth.
Checked with Google Web Risk · 17 hours ago
- language
- EN
- here since
- July 2026