Mistral.ai Leanstral: open-source model designed for engineeringdocs.mistral.ai5 pointsjames2doyle3 months ago