Mistralai/Leanstral-1.5-119B-A6B

8 pointsposted 10 hours ago
by satvikpendem
(huggingface.co)

1 Comments

strongly-typed

9 hours ago

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