Functional Programming in Lean – an in-progress book #1 Post by d_christiansen » Thu, Jun 09, 2022, 5:11 PM UTC Functional Programming in Lean – an in-progress bookleanprover.github.io