Leanstral: Open-source agent for trustworthy coding and formal proof engineering
Hacker News (score: 351)
Found: March 16, 2026
ID: 3801
Description
Other
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
More from Hacker
No other tools from this source yet.