{
  "title": "Definition of addition on natural numbers",
  "origin_url": "https://en.wikipedia.org/wiki/Lego_(proof_assistant)",
  "license_guess": null,
  "code_sha256": "e548bee80b21a0ca77f2d67d4581ab16336d37ff7d1db7768ba12253d86cc455",
  "added_at": "2025-11-05T08:38:17Z"
}