Software Unscripted

Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Dec 21, 2025
Ask episode
Chapters
Transcript
Episode notes