Metaprogramming, Synthesis, and Verification

https://gotopia.tech/sessions/3919/metaprogramming-synthesis-and-verification