2 years ago|discuss
user: d_christiansen
111 karma | created 3 years ago
recent submissions
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Functional Programming in Lean
(leanprover.github.io)
159 pts|2 years ago|37 comments
3 years ago|discuss
3 years ago|discuss
Functional Programming in Lean – an in-progress book
(leanprover.github.io)
2 pts|3 years ago|discuss