Learning Lean: Part 1
(rkirov.github.io)
58 points
by vinhnx
4 days ago |
6 comments
()
()
()
()
