{
  "title": "Verified max and identity functions",
  "origin_url": "https://viperproject.github.io/prusti-dev/user-guide/tour/getting-started.html",
  "license_guess": "MIT",
  "code_sha256": "095c49ff0d794620a7a705b7bfb34b59266ecd455bfab120674a2117827bbce5",
  "added_at": "2026-03-16T10:00:00Z"
}