{
  "title": "Reflexivity Tactic with Repeat",
  "origin_url": "https://rocq-prover.org/doc/master/refman/proof-engine/ltac2.html",
  "license_guess": null,
  "code_sha256": "ef72c60b8d6c0009335de6f42682d5e0c66822500bfa3b3ff8aeb6e623a3604c",
  "added_at": "2026-03-12T10:00:00Z"
}