arxiv-2602.18307-verisoftbench.md

Repository-scale FM benchmark for Lean 4