metalib

A collection of metaprogramming utilities.

metalib aims to provide a collection of utility functions that makes metaprogramming in Lean 4 easier.