@misc{indiciae2ecc9673065d,
  title = {Encoding Lean's Type Theory in Dedukti},
  author = {Frédéric Blanqui and Rishikesh Vaishnav},
  year = {2026},
  url = {https://arxiv.org/abs/2609.24604},
  note = {Source identifier: 2609.24604}
}