/Tech2h ago

Mistral Unveils Leanstral For AI-Assisted Formal Proofs In Lean

3267102.2K

Original post unavailable.

Sentiment

Sentiment building, check back later.

Cluster Engagement

Digg Deeper

No Digg Deeper questions have been answered for this story yet.

Posts from X

Most Activity

Check out details in the tech report: https://github.com/mistralai/LeanstralSafeVerify/blob/main/LeanstralReport.pdf

2h95