Proof assistants: history, ideas and future
scientific article; zbMATH DE number 5637279
scientific article