@misc{indiciae70a029a10663,
  title = {Formalizing Scarf, Brouwer, and Nash in Lean},
  author = {Yuwei Lyu and Kai Li},
  year = {2026},
  url = {https://arxiv.org/abs/2607.05987},
  note = {Source identifier: 2607.05987}
}