Qualification of proof assistants, checkers, and generators: Where are we and what next?

Published in: Sci. Comput. Program. (2023)

Keyphrases