Blog posts

• Why Rocq is better than Lean for program verification. July 28, 2026.
  A write-up on why I don't give in to the hype and switch to Lean for formal verification of programs.