2Functional Programming in Lean – an in-progress book (opens in new tab)(leanprover.github.io)2d_christiansen3y ago0