)]}'
{
  "commit": "c8feab55fa669741ac9e675067b1349dd6fbae0f",
  "tree": "434476576ec7ca9dadb14b104b676137b2598520",
  "parents": [
    "c14e5ae7de1eff00c75dcd5675aebb38f7f23cab"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Dec 27 09:21:21 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Dec 27 09:21:21 2024 -0800"
  },
  "message": "fix: missing `Not` propagation rule in `grind`\n\nThis PR adds a new propagation rule for negation to the (WIP) `grind` tactic.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2c455598db870247ca5c955da3aac154c1648879",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Lemmas.lean",
      "new_id": "180e63755f94444708c141a23925f30279c38e9b",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6a41c0ab44e6cc78f88a1a7df30d2355489b12eb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean",
      "new_id": "d3f038a25336d22f6e8412a8746b0650c4289cb0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Propagate.lean"
    },
    {
      "type": "modify",
      "old_id": "1c28798093eb7e173759a72f08b0afb4e6878ca2",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "551446308b46d71150311bbb46ac0c8ef1d086a2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    }
  ]
}