@misc{indiciae37962cdaac0d,
  title = {Dedukti: a Logical Framework based on the \$λ\$\$Π\$-Calculus Modulo Theory},
  author = {Ali Assaf and Guillaume Burel and Raphaël Cauderlier and David Delahaye and Gilles Dowek and Catherine Dubois and Frédéric Gilbert and Pierre Halmagrand and Olivier Hermant and Ronan Saillard},
  year = {2023},
  url = {https://arxiv.org/abs/2311.07185},
  note = {Source identifier: 2311.07185}
}