)]}'
{
  "commit": "746f7c2c5e243a288e4c801faff4a7f8139576ff",
  "tree": "9f0f19005ef1de2dbf75c5b1bded900f30f98bc7",
  "parents": [
    "7feb583b9e4ca5b2958f993a578d4bd9d8ca3f48"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Apr 23 12:05:43 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Apr 23 12:05:43 2025 -0700"
  },
  "message": "feat: compute `PreNullCert`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e3a4b2605e61ccaa38f091eab301e2ecbfd21639",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.lean",
      "new_id": "689e0d58c888d4b6e7a6741a4c510e0da9be3fc9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "1ec4d0b04692a73727468d4b3abbab4dc78c5946",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Types.lean",
      "new_id": "d5bc0afbcc2c3798bbe03ad105ae462e0d025b7d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "a1295cda6c3dba90a782963aa1638c93cc1fcb14",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Util.lean",
      "new_id": "4da0951f906b1afa86db8a56588302a173714308",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Util.lean"
    }
  ]
}