Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Podcast Episode · Software Unscripted · 21 December 2025 · 41m