Leanstral: Open-source agent for trustworthy coding and formal proof engineering

news.ycombinator.com

saved by: 0 people
related read on: Leanstral: Open-source agent for trustworthy coding and f... discussion