{
  "title": "Fibonacci with SSReflect tactics",
  "origin_url": "https://coq.inria.fr/doc/V8.18.0/refman/proof-engine/ssreflect-proof-language.html",
  "license_guess": null,
  "code_sha256": "17c79bd655897a01cc94d66d850da1d660d7b36705bf9f95352840420cc78159",
  "added_at": "2026-03-06T10:00:00Z"
}