{
  "title": "Factorial with Proof",
  "origin_url": "https://coq.inria.fr/doc/V8.20.0/stdlib/Coq.Arith.Factorial.html",
  "license_guess": null,
  "code_sha256": "fe8910fa7d58a47c210af49ead89629859cc807fdbdb33c9c56944be8dc3cd89",
  "added_at": "2026-02-08T13:47:17Z"
}