8 points | by satvikpendem 14 hours ago ago
1 comments
Lean is such a wonderful language. So hyped by these releases.
Lean is such a wonderful language. So hyped by these releases.