Leanstral 1.5: Proof abundance for all

Mistral.ai has released Leanstral 1.5, a software update that provides proof abundance for all. This update is significant as it addresses a key limitation in previous versions. Engineers should review the update to determine if it impacts their current projects.