Functional Programming in Lean(leanprover.github.io)3 points by gurjeet 20 days ago | 0 commentsNo comments yet