{
  "title": "Factorial function",
  "origin_url": "https://en.wikipedia.org/wiki/ACL2",
  "license_guess": null,
  "code_sha256": "78d61f81c2d430468d2ab6595c5aa348e220d66d243358e82cd209da2fbd24f4",
  "added_at": "2025-10-30T07:19:08Z"
}