@misc{indiciae36d881dba677,
  title = {What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus},
  author = {Rijul Jain and Shraddha Barke and Gabriel Ebner and Md Rakib Hossain Misu and Shan Lu and Sarah Fakhoury},
  year = {2025},
  url = {https://arxiv.org/abs/2508.02733},
  note = {Source identifier: 2508.02733}
}