Hacker News
Mistralai/Leanstral-1.5-119B-A6B
8 points by satvikpendem
ago
|
1 comments
strongly-typed
[-]
Lean is such a wonderful language. So hyped by these releases.