{
  "title": "Binary Search with Contracts",
  "origin_url": "http://c0.cs.cmu.edu/docs/c0-reference.pdf",
  "license_guess": null,
  "code_sha256": "ae9fa699017fcf9dc5883fc790d18ae17a0961d8017c2efe433bdd75c6a2b7a7",
  "added_at": "2026-02-07T15:02:32Z"
}