)]}'
{
  "commit": "e8d6e2242ba2ccf9ecaba2abbbd725f7e220b313",
  "tree": "02d4fefe74540273f99ff010acb598601e04be08",
  "parents": [
    "6f16a535f83838cc6ff196abb33b70799482aa0a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Mar 16 09:42:16 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Mar 16 09:42:16 2025 -0700"
  },
  "message": "feat: exfalso in `grind`\n\nThis PR ensures that `grind` can be used as a more powerful `contradiction` tactic, sparing the user from having to type `exfalso; grind` or `intros; exfalso; grind`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ae15e084736eefa596bad77c78e508f350e554b6",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Lemmas.lean",
      "new_id": "59a34396544a299b115e7fa52979301821894c5a",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "addbcb89df044993a1073f3a49405aa642dc3ba2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Intro.lean",
      "new_id": "9189644f47d640881530d29a7397d36f356c5a30",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Intro.lean"
    },
    {
      "type": "modify",
      "old_id": "c707cd8b127c8d66cdc63fa4be5c6c1b3ec4d397",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Main.lean",
      "new_id": "2e93c620578ca6c34bdab3638a38439c1cf665aa",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "553d2b5074a5c0dd5f96dbf93517e4cf0c4a709b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Util.lean",
      "new_id": "4a246f53c40770c1190107fc19bc0119d0f7388f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2a317e222abfc6c7a31437d77a7e6207cd9a1a34",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_exfalso.lean"
    }
  ]
}