1Functional Programming in Lean (opens in new tab)(leanprover.github.io)159d_christiansen3y ago37Save
2Functional Programming in Lean – an in-progress book (opens in new tab)(leanprover.github.io)2d_christiansen4y ago0Save
