{
  "title": "Counter Specification",
  "origin_url": "https://github.com/informalsystems/quint/blob/main/examples/language-features/counters.qnt",
  "license_guess": "Apache-2.0",
  "code_sha256": "852fa48deb0e74a0b8278feb0bb1d0c249b5e3690341a2e82260ebf172894a61",
  "added_at": "2026-02-10T19:18:04Z"
}