TY  - RPRT
TI  - Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
AU  - Banri Yanahama
AU  - Akiyoshi Sannai
PY  - 2026
UR  - https://arxiv.org/abs/2604.16347
ID  - 2604.16347
ER  -