{
  "title": "Commutativity of Addition",
  "origin_url": "http://www.nuprl.org/examples/",
  "license_guess": null,
  "code_sha256": "8fb1a66d174a03cb4683ddc641d24ce0624eb82ff82bf71e0aacfd4c960f58c9",
  "added_at": "2026-02-08T14:54:11Z"
}