TY  - RPRT
TI  - Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
AU  - Alex Le Blanc
AU  - Patrick Lam
PY  - 2025
UR  - https://arxiv.org/abs/2510.01072
ID  - 2510.01072
ER  -