Functional Programming in Lean – an in-progress book(leanprover.github.io)2 points by d_christiansen 4 years ago | 0 commentsNo comments yet