Mario Gleirscher, Robert Sachtleben, Jan Peleska 0001. Qualification of proof assistants, checkers, and generators: Where are we and what next?. Science of Computer Programming, 226:102930, March 2023. [doi]
@article{GleirscherSP23,
title = {Qualification of proof assistants, checkers, and generators: Where are we and what next?},
author = {Mario Gleirscher and Robert Sachtleben and Jan Peleska 0001},
year = {2023},
month = {March},
doi = {10.1016/j.scico.2023.102930},
url = {https://doi.org/10.1016/j.scico.2023.102930},
researchr = {https://researchr.org/publication/GleirscherSP23},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {226},
pages = {102930},
}