Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932025-06-062025-06-0620252150-914xhttps://fis.uni-bamberg.de/handle/uniba/108582engFaithful Logic Embeddings in HOL : Deep and Shallow (Isabelle/HOL dataset)articlehttps://www.isa-afp.org/entries/FaithfulPMLinHOL.html