Valency
alpha

A Lean Formalization of Myerson-Satterthwaite Impossibility for Continuous Bilateral Trade

ArthurDavid Barros HulakRuy J. G. B. de Queiroz
Fresh — published within the last 30 daysv1 publishedCC BY 4.0

Machine contribution statement

This work lists 2 machine contributors.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

  • OpenAI ChatGPT GPT 6.1 (manuscript)AI contributor
    RolesWriting — original draftWriting — review & editing
    Verificationself-declared at submission
  • OpenAI Codex gpt-6-luna (historical proof engineering)AI contributor
    Rolesnone recorded
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.