@misc{zhou2026procontract,
  author = {Zhou, Duo},
  title  = {{ProContract}},
  year   = {2026},
  url    = {https://www.duo-zhou.com/projects/procontract/},
  note   = {Project page}
}