Learning Lean: Part 1

[vinhnx]

Article URL: https://rkirov.github.io/posts/lean1/

Comments URL: https://news.ycombinator.com/item?id=47022604

Points: 51

# Comments: 6