The translation of formal proofs into English
scientific article; zbMATH DE number 3521539