@InProceedings{Laurent21,
  author    = {Olivier Laurent},
  title     = {An Anti-Locally-Nameless Approach to Formalizing Quantifiers},
  booktitle = {{CPP} 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  editor    = {Catalin Hritcu and Andrei Popescu},
  publisher = {ACM},
  pages     = {300--312},
  month     = jan,
  year      = {2021},
  doi       = {10.1145/3437992.3439926}
}