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

1 points by satvikpendem 10d ago ↗ HN

1 comment

[ 2.0 ms ] story [ 10.4 ms ] thread

strongly-typed 10d ago ↗

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