[
  {
    "kind": "software",
    "name": "python-flint 0.9.0, Python bindings for FLINT, whose arb and acb types are ball arithmetic",
    "source": "pypi.org/project/python-flint",
    "details": "Every number in the proof; pinned in env/requirements.txt."
  },
  {
    "kind": "software",
    "name": "mpmath 1.3.0",
    "source": "pypi.org/project/mpmath",
    "details": "Only for the independent checks in code/test_verify.py, at 40 digits."
  },
  {
    "kind": "software",
    "name": "Python",
    "source": "python.org",
    "rrid": "RRID:SCR_008394",
    "details": "The declared results came from Python 3.14 on macOS (arm64); the verifiers' image, Python 3.12 on Linux, gave the same results to the last digit."
  },
  {
    "kind": "software",
    "name": "A C99 compiler",
    "source": "Apple clang",
    "details": "Only for code/search.c, which proposed the components and is not part of the proof."
  }
]