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: 751 # Comments: 183 [原文鏈接]