LEANSTRAL

Summary from the TLDR AI newsletter

Leanstral is an open-source 119B-parameter theorem-proving and code-verification agent built on Mistral's general-purpose coding framework.