{
  "title": "Factorial with Verification",
  "origin_url": "https://github.com/verus-lang/verus/blob/main/source/docs/guide/src/recursion.md",
  "license_guess": "MIT",
  "code_sha256": "2085e85a3ae8c3b08a603fe476b5e89c9d119946f64d8e430baa7b619ec63ef2",
  "added_at": "2026-02-07T18:47:04.340755Z"
}