@misc{indiciae68a30aa8d5c1,
  title = {FVSpec: Real-World Property-Based Tests as Lean Challenges},
  author = {Quinn Dougherty and Max von Hippel and Simon Henniger and Hazel Shackleton and Mike Dodds},
  year = {2026},
  url = {https://arxiv.org/abs/2606.01008},
  note = {Source identifier: 2606.01008}
}