Sunday, November 8, 2026 Today’s Paper
Log in Join free
Vol. I · No. 41 Texas Edition
Sunday, Nov 8
Xultr
Texas first. Then the world.
Always free Updated 4 minutes ago
Read. React. Discuss.
Tech

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

Hacker News (Newest) By matt_d 6 views 0 comments
mini-Lean-Agent: A Coding-Agent Baseline for Lean
Image: Hacker News (Newest)

Article URL: https://arxiv.org/abs/2610.17331

Comments URL: https://news.ycombinator.com/item?id=50176845

Points: 1

# Comments: 0

Hacker News (Newest) Original story · arxiv.org
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read