Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)