Learning Lean: Part 1

64 points

by vinhnx

3 days ago

7 comments