{
  "title": "Natural Numbers and Addition",
  "origin_url": "https://github.com/moonad/Formality-Base/blob/master/Nat.fm",
  "license_guess": "MIT",
  "code_sha256": "76c56cce0c7416ef056f542f687035e22ae2936968f1afe7f52f6a9c9fa322a3",
  "added_at": "2026-02-10T12:00:00Z"
}