# NanoProof: Open and Efficient Automated Theorem Proving in Lean 4

- **Source:** [arXiv](https://arxiv.org/abs/2610.11605)
- **Published:** 2026-10-10
- **Permalink:** https://picx.dev/p/5IRnrO

---

_Markdown view of https://picx.dev/p/5IRnrO, served by PicX — AI-generated visual whiteboard summaries of research papers._