Learning Lean: Part 1 - https://rkirov.github.io/posts/lean1/
Uncategorized
2
Posts
2
Posters
0
Views
-
Learning Lean: Part 1 - https://rkirov.github.io/posts/lean1/
-
Learning Lean: Part 1 - https://rkirov.github.io/posts/lean1/
-
R ActivityRelay shared this topic
