TY  - RPRT
TI  - FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification
AU  - Naing Oo Lwin
PY  - 2026
UR  - https://arxiv.org/abs/2610.00885
ID  - 2610.00885
ER  -