{
  "title": "FizzBuzz",
  "origin_url": "https://rosettacode.org/wiki/FizzBuzz#Lean_4",
  "license_guess": "Public Domain",
  "code_sha256": "b9eb4e976ea93ed9471a213deea10613d8702caa95fc419f295c6312e66f3f04",
  "added_at": "2026-02-26T00:00:00Z"
}