{
  "title": "A Simple Counter in Lustre",
  "origin_url": "https://kind2-mc.github.io/kind2/tutorial_lustre.html",
  "license_guess": null,
  "code_sha256": "1f2c073266eae69e4f71d9f8d2706ebeab3b62b0e5e0056eb93eac6407801122",
  "added_at": "2025-10-28T08:17:54Z"
}