Certainty in Formalising SMT-LIB for Strings in Isabelle. - Lotz, Kevin; Kulczynski, Mitja; Nowotka, Dirk; Poulsen, Danny Bøgsted; Schlichtkrull, Anders (International Journal of Foundations of Computer Science, 2026)