{
  "title": "List Append with Proof",
  "origin_url": "https://github.com/acl2/acl2/blob/master/books/projects/milawa/ACL2/logic/app.lisp",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "3dfa73755af06752378b21117b29682664cdeebd85781d065807646afac13c62",
  "added_at": "2026-03-13T10:00:00Z"
}