)]}'
{
  "commit": "8e4df415fbf710557c6c2fa39134f77d4205f938",
  "tree": "55f95bd7a5789bdaa5926ca2de954891ace864e4",
  "parents": [
    "8dec57987ab13244c67fe03edf004d9e288b4df1"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 06 13:11:32 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jan 06 13:11:32 2025 -0800"
  },
  "message": "feat: propagate implication in the `grind` tactic\n\nThis PR adds propagators for implication to the `grind` tactic.\nIt also disables the normalization rule: `(p → q) \u003d (¬ p ∨ q)`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e89e66b8725b79d4dea6bd1b5f116b3fa40f34a0",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Lemmas.lean",
      "new_id": "5672b5618dae3cdd67d1f105fe2b4817400bf890",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "d911cf634703a0416a3f5a562549c24c8378268a",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Norm.lean",
      "new_id": "c3d8b62a5f8d632f466a032a75a6bc978d7b2058",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Norm.lean"
    },
    {
      "type": "modify",
      "old_id": "9993f0e50e2d6b6273c231b038ff83a7b18f3b3e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/ForallProp.lean",
      "new_id": "ee46ee6eb915f1fd7238724ce3ddef6f07469426",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/ForallProp.lean"
    },
    {
      "type": "modify",
      "old_id": "b0b93b6755e78e69e221ad304aa64144936cda57",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "fe801763f326cb1c59c4177792d697fb4dfeb047",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "480301d5bb52dfd8a516679b7f106f8e3f997077",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Main.lean",
      "new_id": "139b32ecebb71f27f439120eb813ceccc44415f9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Main.lean"
    }
  ]
}