{
  "title": "Fibonacci sequence",
  "origin_url": "https://github.com/FStarLang/FStar/tree/master/examples",
  "license_guess": null,
  "code_sha256": "eafa6684f36e75dd7a45013f2f91d6eda462b27698143b73b3d4072521a18b35",
  "added_at": "2026-02-26T12:53:56Z"
}