Metaprogramming, Synthesis, and Verification

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