Leanstral: Open-source code agent designed for Lean 4

Wait 5 sec.

Article URL: https://mistral.ai/news/leanstralComments URL: https://news.ycombinator.com/item?id=47404796Points: 253# Comments: 46