lambda-lean Implementing Lambda Calculus in Lean4 About Lean4 port of https://github.com/vituscze/fp