{
  "title": "Factorial Function",
  "origin_url": "https://github.com/overturetool/documentation/blob/master/examples/VDMSL/FactorialSL/Factorial.vdmsl",
  "license_guess": null,
  "code_sha256": "619fbf326de1fca9c7aee6597bf4aa7c577d4ccc475d8647d466a86cc2e16fa2",
  "added_at": "2026-02-06T17:44:20Z"
}