Isabelle's metalogic: formalization and proof checker
scientific article; zbMATH DE number 7437074
scientific article