Advertisement

Mistralai/Leanstral-1.5-119B-A6B

7

ssatvikpendem about 3 hours ago 1 commentsRead Article on huggingface.co

Advertisement

Discussion (1 Comments)Read Original on HackerNews

strongly-typed•about 2 hours ago

Lean is such a wonderful language. So hyped by these releases.