[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"gMx8XtyAlY":3},"# metalib\nA collection of metaprogramming utilities.\n\nmetalib aims to provide a collection of utility functions that makes metaprogramming in Lean 4 easier.\n",1787169620198]