Update README.md
Browse files
README.md
CHANGED
|
@@ -6,7 +6,7 @@ library_name: vllm
|
|
| 6 |
|
| 7 |
Leanstral is the firsd open-source code agent designed for Lean4, a proof assistant capable to express complex mathematical objects such as [perfectoid spaces](https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/) and software specifications like [properties of Rust fragments](https://github.com/AeneasVerif/aeneas)
|
| 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 |
|
|
|
|
| 6 |
|
| 7 |
Leanstral is the firsd open-source code agent designed for Lean4, a proof assistant capable to express complex mathematical objects such as [perfectoid spaces](https://xenaproject.wordpress.com/2020/12/05/liquid-tensor-experiment/) and software specifications like [properties of Rust fragments](https://github.com/AeneasVerif/aeneas)
|
| 8 |
|
| 9 |
+
Built as par of the [Mistral Small 4 family](https://huggingface.co/collections/mistralai/mistral-small-4), 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 |
|