Julia Markus Himmel
juliahimmel.de
A personal blog about formal verification, with a focus on the Lean programming language.
A single-author blog dedicated to formal verification, particularly in Lean. Posts are technical and assume some background, appealing to programmers and mathematicians interested in interactive theorem proving. The site offers a focused, expert perspective rather than surface-level tutorials.
Checked with Google Web Risk · 1 day ago
- language
- EN
- here since
- July 2026