Metaprogramming Your IDE in Lean 4 with Harry Goldstein
Software Unscripted · Richard Feldman
December 21, 202541m 18s
Audio is streamed directly from the publisher (sphinx.acast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.