{
  "title": "Natural Number Addition Proofs",
  "origin_url": "https://github.com/JetBrains/arend-lib/blob/master/src/Algebra/Monoid.ard",
  "license_guess": "Apache-2.0",
  "code_sha256": "b7e18a2c761461ce345d91b585a8f9e54939c59941b91f063845e10041e0e421",
  "added_at": "2026-02-07T15:09:45Z"
}