Mistralai/Leanstral-1.5-119B-A6B(huggingface.co)
8 pointsby satvikpendem7 hours ago1 comment
  • strongly-typed6 hours ago
    Lean is such a wonderful language. So hyped by these releases.