{
  "title": "Basic Commutativity and Associativity Proofs",
  "origin_url": "http://www.mizar.org/library/",
  "license_guess": "GPL",
  "code_sha256": "d5c15918c0e6465f61785f0dcd51802496448604c4b8df881ff6021bd414ce5c",
  "added_at": "2026-02-07T11:19:04Z"
}