@misc{c2pa2026,
  author = {{Coalition for Content Provenance and Authenticity}},
  title = {C2PA Specifications and Content Credentials Explainer},
  year = {2026},
  note = {Versions 2.2--2.4}
}

@techreport{w3cprov2013,
  author = {Lebo, Timothy and Sahoo, Satya and McGuinness, Deborah and others},
  title = {PROV-O: The PROV Ontology},
  institution = {World Wide Web Consortium},
  year = {2013},
  type = {W3C Recommendation}
}

@manual{leanvalidating2026,
  author = {{Lean FRO and Lean Community}},
  title = {Lean Reference Manual: Validating a Lean Proof},
  year = {2026}
}

@misc{carneiro2024lean4lean,
  author = {Carneiro, Mario},
  title = {Lean4Lean: Towards a Verified Typechecker for Lean, in Lean},
  year = {2024},
  eprint = {2403.14064},
  archivePrefix = {arXiv}
}