TY  - RPRT
TI  - What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
AU  - Rijul Jain
AU  - Shraddha Barke
AU  - Gabriel Ebner
AU  - Md Rakib Hossain Misu
AU  - Shan Lu
AU  - Sarah Fakhoury
PY  - 2025
UR  - https://arxiv.org/abs/2508.02733
ID  - 2508.02733
ER  -