Two curated sites to track Lean: Papers With Lean and Lean Weekly
TZahavy · x · 2026-10-29
leanprover highlights two sites built and curated by Soonho Kong:
- Papers With Lean: a daily-updated index of arXiv papers that use the Lean interactive theorem prover, browsable by topic or by the last 7/30 days.
- Lean Weekly: weekly news about Lean, from the core to verification to AI and formalization.
Useful entry points for anyone following formal verification and AI formalization work.
More from coding & agent
- BLA hardens apps against LLM reverse-engineering agents, tested against REA — Promptmethus · 2026-10-29
- If Vibe Coding Builds Software On Demand, What Is a Fintech Vendor For? — mikeflache · 2026-10-29
- Spec first, code second: one workshop experiment shows agents build the wrong app — Al_Grigor · 2026-10-29
- Veteran engineer: juggling 17 projects with agents, deep thinking is a muscle I'm losing — rudrank · 2026-10-29
- Free MCP server makes ChatGPT/Claude cite datasheet page numbers for every component value — Winter-Drop-1334 · 2026-10-29
- Agent-built component flips cash-flow: licensor pays company NOT to open-source it — mattpocockuk · 2026-10-29