mini-Lean-Agent: A Coding-Agent Baseline for Leanarxiv.org2 points·matt_d··0 commentsOpen articleSaveView on HN