{
  "title": "Addition Commutativity Proof",
  "origin_url": "https://www.mathematik.uni-muenchen.de/~logik/minlog/",
  "license_guess": null,
  "code_sha256": "2c299f11859cea8a827fdaf981fd97daf62dff182feb0102fb6cd48e1345e361",
  "added_at": "2026-02-11T14:04:18Z"
}