Collection
Subscribe
Mistral releases Leanstral, a formal code verification agent for Lean 4
#ai-agents
#mistral-ai
#mixture-of-experts
Last updated Apr 02
•
2 sources
2 Upvotes
Comment
Bookmark
Copy
Sort:
Oldest first
Share your thoughts
Post
2