{
  "title": "GCD (Euclidean Algorithm)",
  "origin_url": "https://github.com/kit-ty-kate/why3/blob/master/examples/gcd.mlw",
  "license_guess": "LGPL-2.1",
  "code_sha256": "b8df56f8d3d20de7ff7b7b4cebf4973f26995bd7717e26c46f307a14b0b25905",
  "added_at": "2026-02-24T10:00:00Z"
}