[
  {
    "kind": "software",
    "name": "Lean 4 theorem prover, version 4.34.1",
    "source": "github.com/leanprover/lean4",
    "details": "Checks proofs/SB3.lean with its core library only; pinned in env/Dockerfile and env/lean-toolchain."
  },
  {
    "kind": "software",
    "name": "Python",
    "source": "python.org",
    "rrid": "RRID:SCR_008394",
    "details": "Runs code/gen_traces.py, which generated the first-return lemmas of the proof; standard library only, Python 3.10 or later."
  }
]