{
  "title": "Recursive tactics and goal matching",
  "origin_url": "https://coq.inria.fr/doc/v8.18/refman/proof-engine/ltac.html",
  "license_guess": null,
  "code_sha256": "91d99559f3f29c6c1f391dfcbe9924511dbcef87776a035ff8e94296c68c5eee",
  "added_at": "2026-03-06T08:59:45Z"
}