@misc{indiciae00fd4a568e35,
  title = {Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring},
  author = {Bart Jacobs},
  year = {2026},
  url = {https://arxiv.org/abs/2601.13727},
  note = {Source identifier: 2601.13727}
}