Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Kirchner, DanielDanielKirchner0000-0001-9229-11482026-09-102026-09-1020262150-914xhttps://fis.uni-bamberg.de/handle/uniba/117132engA Deep Embedding of HOL in HOL : Soundness, Completeness, Consistency (Isabelle/HOL dataset)articlehttps://isa-afp.org/entries/HOL_in_HOL_Deep.html