Introduction to ``Milestones in interactive theorem proving''
scientific article; zbMATH DE number 6921410
scientific article