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

Lean 4 paper (2021): https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37

---

Comments URL: https://news.ycombinator.com/item?id=47404796

Points: 316

# Comments: 59