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

8 points by satvikpendem 3mo ago ↗ HN

1 comment

[ 3.0 ms ] story [ 9.0 ms ] thread

strongly-typed 3mo ago ↗

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