TY  - RPRT
TI  - Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
AU  - Mario Gleirscher
AU  - Robert Sachtleben
AU  - Jan Peleska
PY  - 2023
DO  - 10.1016/j.scico.2023.102930
UR  - https://arxiv.org/abs/2302.09546
ID  - 2302.09546
ER  -