)]}'
{
  "commit": "4a987c8e5f63b2ebd2f9924bc56b58caefee190b",
  "tree": "dfd9097aee33d940beaf43d85b1a6b8baf2f2bdc",
  "parents": [
    "80f5a2219e83d71b0fe06f8f88a054c69becc91d"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 25 21:43:09 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 25 21:43:09 2024 -0800"
  },
  "message": "feat: short proof generation for `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e7aa0cdfc3f38792a5ab9094526b3913df116ea7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "9086b22ba547c30c9f6e27365ded0a607eb5fe0a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "9b14771c2a959bd3f14db8cb26c30efb20054eff",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Proof.lean",
      "new_id": "89ae18de0849ad5da991957f96e4ef3d4e49da79",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "4d2257b4b89224e1a8876c1e0b097f9a591e3ab1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_congr.lean",
      "new_id": "f981018a26a312cfebf7b0796e771423962bed3a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_congr.lean"
    },
    {
      "type": "modify",
      "old_id": "b01d80730cfe051e913417a31a441469afee2852",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_nested_proofs.lean",
      "new_id": "a1cce8ca66e6175ce8ce15969802f71525d0b435",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_nested_proofs.lean"
    },
    {
      "type": "modify",
      "old_id": "be5d2168dd6ab051f284d39c0f0d2ce5ea633134",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_propagate_connectives.lean",
      "new_id": "66cc3add7adfd313ac8db9027303947ab9d33fdd",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_propagate_connectives.lean"
    }
  ]
}