Learning Lean: Part 1
https://rkirov.github.io/posts/lean1/loading story #47066299
loading story #47065496
loading story #47065281
loading story #47066396
Hacker News new | past | comments | ask | show | jobs | submit Hacker News new | past | comments | ask | show | jobs | submit