{
  "id": "lm-000077",
  "title": "FDRS_zh",
  "source_file": "content/papers/undated/FDRS_zh.lean",
  "legacy_slug": "FDRS_zh.lean",
  "ext": "lean",
  "language": "en",
  "authorship": "collaborative",
  "created": "2026-08-07",
  "year": 2026,
  "month": "2026-08",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-000077/",
  "raw_url": "/raw/lm-000077.lean",
  "api_url": "/api/papers/lm-000077.json",
  "legacy_page_url": "/papers/FDRS_zh.lean.html",
  "legacy_raw_url": "/papers/FDRS_zh.lean",
  "hash": "sha256:b9a3858f0b566423604c6e8a191f1803864712309c1ebd27af8529aeff0a7be6"
}