Functional Programming in Lean

(leanprover.github.io)

3 points | by gurjeet 11 hours ago ago

No comments yet.