Mistralai/Leanstral-1.5-119B-A6B (huggingface.co)

8 points by satvikpendem 2mo ago ↗ HN

1 comment

[ 2.6 ms ] story [ 13.5 ms ] thread

strongly-typed 2mo ago ↗

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