explorations in Lean automation and metaprogramming - View it on GitHub