mini-Lean-Agent: A Coding-Agent Baseline for LeanBy matt_d · 2026-10-21 · 1 points · 0 commentshttps://arxiv.org/abs/2610.17331By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews