TY  - RPRT
TI  - Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
AU  - Jian Fang
AU  - Yingfei Xiong
PY  - 2026
UR  - https://arxiv.org/abs/2605.26017
ID  - 2605.26017
ER  -