Metaprograms and Proofs: Macros in Lean 4Date: October 29, 2022A summary of Lean 4’s macro system with a focus on comparison to Racket’s.Slides Previous Next
