mini-Lean-Agent: A Coding-Agent Baseline for Lean

(arxiv.org) by matt_d | Oct 21, 2026 | 0 comments on HN