Wave Pod
Discover
Library
Get Wave AI
Sign In
Metaprogramming Your IDE in Lean 4 with Harry Goldstein - Software Unscripted | Wave AI Podcast Notes
← Software Unscripted
Software Unscripted
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
December 21, 2025
·
00:41:18
Send to my inbox
Sign in to save
Share
Sign in to transcribe
Technology
Education
News
Loading summary
