Isabelle/HOL. A proof assistant for higher-order logic
scientific article; zbMATH DE number 1754490