QotNews
Hacker News, Reddit, Lobsters, and Tildes articles rendered in reader mode.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Source:
mistral.ai
640 points by
Poudlardo
17 hours ago on
hackernews
|
148 comments
Lean 4 paper (2021):
https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37