TY  - RPRT
TI  - Extraction and Search in Rocq: Theorems, Definitions and Their dependencies
AU  - Jian Fang
AU  - Yingfei Xiong
PY  - 2026
UR  - https://arxiv.org/abs/2606.04704
ID  - 2606.04704
ER  -