| ▲ | Mistralai/Leanstral-1.5-119B-A6B(huggingface.co) | |
| 8 points by satvikpendem 10 hours ago | 1 comments | ||
| ▲ | strongly-typed 9 hours ago | parent [-] | |
Lean is such a wonderful language. So hyped by these releases. | ||
| ▲ | Mistralai/Leanstral-1.5-119B-A6B(huggingface.co) | |
| 8 points by satvikpendem 10 hours ago | 1 comments | ||
| ▲ | strongly-typed 9 hours ago | parent [-] | |
Lean is such a wonderful language. So hyped by these releases. | ||