L leanprover.github.io Functional Programming in Lean – an in-progress book 2 points d_christiansen 4 years ago 0 comments
