Learning Lean: Part 1
Posted 12 hours ago by
vinhnx
2
points
https://rkirov.github.io/posts/lean1/
0
comments