Audience

AI researchers, software engineers, and developers working with formal verification, proof assistants, and mathematically rigorous software development

About Leanstral

Leanstral is an open-source code agent developed by Mistral AI specifically designed to work with the Lean 4 proof assistant. The model focuses on generating code while also formally verifying its correctness against strict mathematical or software specifications. Unlike traditional coding assistants, Leanstral integrates directly with formal proof systems to ensure that generated code satisfies defined logical requirements. Its architecture is optimized for proof engineering tasks and operates efficiently with sparse model parameters. Leanstral is released under the Apache 2.0 license, making it freely accessible for developers, researchers, and organizations to use and customize. The model is designed to operate within real-world formal repositories rather than isolated problem environments. By combining code generation with formal verification, Leanstral aims to reduce the need for manual human review in complex software and mathematical development.

Pricing

Starting Price:
Free
Pricing Details:
Open source
Free Version:
Free Version available.

Integrations

Ratings/Reviews

Overall 0.0 / 5
ease 0.0 / 5
features 0.0 / 5
design 0.0 / 5
support 0.0 / 5

This software hasn't been reviewed yet. Be the first to provide a review:

Review this Software

Company Information

Mistral AI
Founded: 2023
France
mistral.ai

Videos and Screen Captures

Leanstral Screenshot 1
Other Useful Business Software
Field Sales+ for MS Dynamics 365 and Salesforce Icon
Field Sales+ for MS Dynamics 365 and Salesforce

Maximize your sales performance on the go.

Bring Dynamics 365 and Salesforce wherever you go with Resco’s solution. With powerful offline features and reliable data syncing, your team can access CRM data on mobile devices anytime, anywhere. This saves time, cuts errors, and speeds up customer visits.
Learn More

Product Details

Platforms Supported
Windows
Mac
Linux
On-Premises
Training
Documentation

Leanstral Frequently Asked Questions

Q: What kinds of users and organization types does Leanstral work with?
Q: What languages does Leanstral support in their product?
Q: What other applications or services does Leanstral integrate with?
Q: What type of training does Leanstral provide?
Q: How much does Leanstral cost?

Leanstral Product Features