metaprogramming

一份精心整理的Lean 4书籍列表，用于学习该定理证明器，涵盖函数式编程、元编程和逻辑验证，并附有对每本资源的评价。