@misc{indiciaec34a12c299c3,
  title = {The Chase in Lean -- Crafting a Formal Library for Existential Rule Research},
  author = {Lukas Gerlach},
  year = {2026},
  url = {https://arxiv.org/abs/2604.22531},
  note = {Source identifier: 2604.22531}
}