)]}'
{
  "commit": "525184c0f6dd1dc87a5e887a1f9211f9bf6cfa41",
  "tree": "3980e05479a47d90ff0fcec67b49fd0dec00ea25",
  "parents": [
    "dd87739fc251a23f7ce3d8e7895688202aec69f7"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 10 01:47:19 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 10 01:47:19 2025 +0200"
  },
  "message": "feat: cutsat and grobner frontends for grind\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e46cf9ea7468196d1205feb7190e4dd3c47ef045",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "e1944e3cab5f4dde088b2349ce3335bfb53013a1",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "5ddc2c267d210bb41449d7b5af22a4bba0a32f96",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "438bea150c1761dc05f8d6c6906dd37e44904e84",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "1a33f77f0347dde946da7c769743bbdc8d2ae26f",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_cutsat_tests.lean",
      "new_id": "91b879ad37f428bb0bd68486912e5c41ad9268b0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_cutsat_tests.lean"
    },
    {
      "type": "modify",
      "old_id": "6d281eae135ce109b5a87f4b95f3f444763c3f43",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_2.lean",
      "new_id": "fe8d9e49a65bbd87e45daae683e4b121e812396a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_2.lean"
    }
  ]
}