{
  "title": "Factorial",
  "origin_url": "https://github.com/FStarLang/FStar/blob/master/doc/tutorial/code/solutions/Ex01a.fst",
  "license_guess": "Apache-2.0",
  "code_sha256": "9bfc31f13bc7b8a5b707f4669e65a0c5fe671cb6be5a46f52cb9e302c750db68",
  "added_at": "2026-03-13T03:15:54Z"
}