Leanstral is Mistral’s new open-source Lean 4 code agent built for proof engineering and formal verification. Here is what it does, how it works, and where it fits.
Blog
Learn about agent practices, tutorials, and updates.
Learn about agent practices, tutorials, and updates.