Update README.md
Browse files
README.md
CHANGED
|
@@ -8,7 +8,7 @@ Leanstral is the firsd open-source code agent designed for Lean4, a proof assist
|
|
| 8 |
|
| 9 |
Built as par of the Mistral Small 4 family, it has multimodal capabilities, efficient architecture it is both formant and cost-efficient against existing closed-source competitors.
|
| 10 |
|
| 11 |
-
For more information about the model and its scope, please read the related [blog post]()
|
| 12 |
|
| 13 |
## Key Features
|
| 14 |
|
|
|
|
| 8 |
|
| 9 |
Built as par of the Mistral Small 4 family, it has multimodal capabilities, efficient architecture it is both formant and cost-efficient against existing closed-source competitors.
|
| 10 |
|
| 11 |
+
For more information about the model and its scope, please read the related [blog post](https://mistral.ai/news/leanstral)
|
| 12 |
|
| 13 |
## Key Features
|
| 14 |
|