L leanprover.github.io Functional Programming in Lean 159 points d_christiansen 3 years ago 37 comments
