Leanstral 1.5: Proof abundance for all

Posted 19 hours ago by programLyrique
324 points

https://mistral.ai/news/leanstral-1-5/

17 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..