{
  "title": "Append relation definition",
  "origin_url": "https://en.wikipedia.org/wiki/Twelf",
  "license_guess": null,
  "code_sha256": "5f01c4a719fc4f9250bc3f9cdd9d4ea30b56901db9a62357221c14bf7bfdfb68",
  "added_at": "2025-11-07T10:39:04Z"
}