{
  "title": "List Reversal with Verification",
  "origin_url": "https://docs.imandra.ai/imandra-docs/",
  "license_guess": null,
  "code_sha256": "472174553a8d107acd8dc6f793b705f697f6071d8127511228d0991996c3ad06",
  "added_at": "2026-02-11T14:09:23Z"
}