@misc{indiciaed45ca352d406,
  title = {Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?},
  author = {Mario Gleirscher and Robert Sachtleben and Jan Peleska},
  year = {2023},
  doi = {10.1016/j.scico.2023.102930},
  url = {https://arxiv.org/abs/2302.09546},
  note = {Source identifier: 2302.09546}
}